From 2ee5357216cc5a620dbe6d091b0081d419951a4e Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 7 Jan 2022 13:55:16 +0100
Subject: Make more modifications to logging

---
 src/InterpreterBorrows.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/InterpreterBorrows.ml')

diff --git a/src/InterpreterBorrows.ml b/src/InterpreterBorrows.ml
index b52454b1..c651e2f1 100644
--- a/src/InterpreterBorrows.ml
+++ b/src/InterpreterBorrows.ml
@@ -1130,7 +1130,7 @@ let rec activate_inactivated_mut_borrow (config : C.config) (io : inner_outer)
       | None ->
           (* No loan to end inside the value *)
           (* Some sanity checks *)
-          L.log#ldebug
+          log#ldebug
             (lazy
               ("activate_inactivated_mut_borrow: resulting value:\n"
              ^ V.show_typed_value sv));
-- 
cgit v1.2.3