From 1e3e6f6ecdbc277322f3631dac683fe938134d0c Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Jan 2022 00:11:59 +0100
Subject: Cleanup a bit

---
 src/Invariants.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/Invariants.ml b/src/Invariants.ml
index b61763ff..522f2ffa 100644
--- a/src/Invariants.ml
+++ b/src/Invariants.ml
@@ -601,7 +601,6 @@ let check_typing_invariant (ctx : C.eval_ctx) : unit =
                 (* Also check that the symbolic values contain regions of interest -
                  * otherwise they should have been reduced to `_` *)
                 let abs = Option.get info in
-                log#ldebug (lazy (symbolic_value_to_string ctx sv));
                 assert (ty_has_regions_in_set abs.regions sv.V.sv_ty)
             | V.AProjBorrows (sv, proj_ty) ->
                 let ty2 = Subst.erase_regions sv.V.sv_ty in
@@ -609,7 +608,6 @@ let check_typing_invariant (ctx : C.eval_ctx) : unit =
                 (* Also check that the symbolic values contain regions of interest -
                  * otherwise they should have been reduced to `_` *)
                 let abs = Option.get info in
-                log#ldebug (lazy (symbolic_value_to_string ctx sv));
                 assert (ty_has_regions_in_set abs.regions proj_ty)
             | V.AEndedProjLoans (_msv, given_back_ls) ->
                 List.iter
-- 
cgit v1.2.3