From d2bbc633bd3c4b43a2b80f268aca8093eab24262 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 7 Jun 2019 16:18:01 -0500 Subject: [PATCH] fix: remove debug statement in th-bool --- src/th-bool-static/Sidekick_th_bool_static.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/src/th-bool-static/Sidekick_th_bool_static.ml b/src/th-bool-static/Sidekick_th_bool_static.ml index 5166a0d1..602ac914 100644 --- a/src/th-bool-static/Sidekick_th_bool_static.ml +++ b/src/th-bool-static/Sidekick_th_bool_static.ml @@ -156,7 +156,6 @@ module Make(A : ARG) : S with module A = A = struct | B_ite _ | B_eq _ -> Lit.atom self.tst t | B_equiv (a,b) -> - Format.printf "@[cnf: equiv@ %a@ and %a@]@." T.pp a T.pp b; let a = get_lit a in let b = get_lit b in let proxy = fresh_lit ~pre:"equiv_" self in