[chore] disable some logging

Signed-off-by: Kakadu <[email protected]>
PLTools · Jan 12, 2025 · f8163f6 · f8163f6
1 parent 0515231
commit f8163f6
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/src/core/Disequality.ml b/src/core/Disequality.ml
@@ -309,13 +309,13 @@ module Conjunct :
       ) t Term.VarMap.empty
 
     let recheck env subst t =
-      log "Conjunct.recheck. %a" pp t;
+      (* log "Conjunct.recheck. %a" pp t; *)
       let rez = M.fold (fun id disj acc ->
           try
             M.add id (Disjunct.recheck env subst disj) acc
           with Disequality_fulfilled -> acc
       ) t M.empty in
-      log "rechecked =  %a" pp rez;
+      (* log "rechecked =  %a" pp rez; *)
       rez
 
     let merge_disjoint env subst =

diff --git a/src/core/Subst.ml b/src/core/Subst.ml
@@ -167,7 +167,7 @@ let unify ?(subsume=false) ?(scope=Term.Var.non_local_scope) env subst x y =
     (Binding.({var; term})::prefix, subst)
   in
   let rec helper x y acc =
-    log "unify '%s' and '%s'" (Term.show x) (Term.show y);
+    (* log "unify '%s' and '%s'" (Term.show x) (Term.show y); *)
     let open Term in
     fold2 x y ~init:acc
       ~fvar:(fun ((_, subst) as acc) x y ->
@@ -203,8 +203,8 @@ let unify_map env subst map =
   let vars, terms =
     Term.VarMap.fold (fun v term acc -> (v :: fst acc, term :: snd acc)) map ([],[])
   in
-  log "var   = %s" (Term.show (Obj.magic (apply env subst vars)));
-  log "terms = %s" (Term.show (Obj.magic (apply env subst terms)));
+  (* log "var   = %s" (Term.show (Obj.magic (apply env subst vars))); *)
+  (* log "terms = %s" (Term.show (Obj.magic (apply env subst terms))); *)
   unify env subst (Obj.magic vars) (Obj.magic terms)