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) ->