From 923cbec6e5c141dee67954c6c2753f658f562557 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 26 Jun 2023 00:40:39 -0400
Subject: [PATCH] remove debug msg

---
 src/th-lra/sidekick_th_lra.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/th-lra/sidekick_th_lra.ml b/src/th-lra/sidekick_th_lra.ml
index 94d54205..ad08c927 100644
--- a/src/th-lra/sidekick_th_lra.ml
+++ b/src/th-lra/sidekick_th_lra.ml
@@ -402,7 +402,6 @@ module Make (A : ARG) = (* : S with module A = A *) struct
         (* we define these terms so their value in the model make sense *)
         let le = as_linexp t |> LE.map ~f:recurse in
         Term.Tbl.add self.simp_defined t (box_t, le);
-        Log.debugf 50 (fun k -> k "COUCOU def %a as %a" Term.pp box_t LE.pp le);
 
         let le_comb, le_const = LE.comb le, LE.const le in
         if A.Q.equal le_const A.Q.zero then