From 36938610084df292d31d67e546ab5de24d134aa9 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 18 Mar 2021 12:13:39 -0400
Subject: [PATCH] debug msg

---
 src/cc/Sidekick_cc.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cc/Sidekick_cc.ml b/src/cc/Sidekick_cc.ml
index e806ce83..26c8ed6f 100644
--- a/src/cc/Sidekick_cc.ml
+++ b/src/cc/Sidekick_cc.ml
@@ -598,7 +598,7 @@ module Make (A: CC_ARG)
         if same_class a b then (
           let expl = Expl.mk_merge a b in
           Log.debugf 5 
-            (fun k->k "(pending.eq@ %a@ :r1 %a@ :r2 %a@])" N.pp n N.pp a N.pp b);
+            (fun k->k "(@[pending.eq@ %a@ :r1 %a@ :r2 %a@])" N.pp n N.pp a N.pp b);
           merge_classes cc n (n_true cc) expl
         )
       | Some (Not u) ->