From 8558719cc8a7ec16907ec9b87a028be124c0c806 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 29 Mar 2021 12:59:24 -0400
Subject: [PATCH] remove debug

---
 src/th-data/Sidekick_th_data.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/th-data/Sidekick_th_data.ml b/src/th-data/Sidekick_th_data.ml
index 3d12a9c1..1800cb4c 100644
--- a/src/th-data/Sidekick_th_data.ml
+++ b/src/th-data/Sidekick_th_data.ml
@@ -646,7 +646,6 @@ module Make(A : ARG) : S with module A = A = struct
           (fun k->k "(@[th-data.final-check.model.decide-cstor@ %a@])" T.pp t_eq_cstor);
         let lit = SI.mk_lit solver acts t_eq_cstor in
         SI.push_decision solver acts lit;
-        Printf.printf ".%!";
     );
     ()