diff options
author | Son Ho | 2022-01-07 13:55:16 +0100 |
---|---|---|
committer | Son Ho | 2022-01-07 13:55:16 +0100 |
commit | 2ee5357216cc5a620dbe6d091b0081d419951a4e (patch) | |
tree | 2d90296e1e4310d7c71ccaf6fc75b21475c8a3f5 /src/InterpreterBorrows.ml | |
parent | e2d71a7b813ed2fe86800f6638c4cd941991aaac (diff) |
Make more modifications to logging
Diffstat (limited to 'src/InterpreterBorrows.ml')
-rw-r--r-- | src/InterpreterBorrows.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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)); |