From f8163f6cef995b1219adba7b8ee70010ff98ab7b Mon Sep 17 00:00:00 2001 From: Kakadu Date: Sun, 12 Jan 2025 10:55:40 +0300 Subject: [PATCH] [chore] disable some logging Signed-off-by: Kakadu --- src/core/Disequality.ml | 4 ++-- src/core/Subst.ml | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/core/Disequality.ml b/src/core/Disequality.ml index 4a678991..bbe1226f 100644 --- 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 index 2b5c5c84..fff6d985 100644 --- 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)