From e99192869da4d5e2f256c9d54476f89bd38f62ec Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 12 Aug 2022 23:17:15 -0400
Subject: [PATCH] remove debug

---
 src/core-logic/term.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/core-logic/term.ml b/src/core-logic/term.ml
index c63b7690..5afb6c41 100644
--- a/src/core-logic/term.ml
+++ b/src/core-logic/term.ml
@@ -446,7 +446,6 @@ module Make_ = struct
   (* hashconsing + computing metadata + computing type (for new terms) *)
   let rec make_ (store : store) view : term =
     let e = { view; ty = T_ty_delayed ty_assert_false_; id = -1; flags = 0 } in
-    Log.debugf 50 (fun k -> k "term.make `%a`" pp_debug_with_ids e);
     let e2 = Hcons.hashcons store.s_exprs e in
     if e == e2 then (
       (* new term, compute metadata *)