From c03fc97f009614aad30efbfd9aebc20fd3623530 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 17 Dec 2021 16:40:03 -0500
Subject: [PATCH] better debug in CC

---
 src/smt-solver/Sidekick_smt_solver.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt-solver/Sidekick_smt_solver.ml b/src/smt-solver/Sidekick_smt_solver.ml
index dd8aeac7..923267eb 100644
--- a/src/smt-solver/Sidekick_smt_solver.ml
+++ b/src/smt-solver/Sidekick_smt_solver.ml
@@ -877,7 +877,7 @@ module Make(A : ARG)
       Log.debugf 50
         (fun k->
            let ppc out n =
-             Fmt.fprintf out "{@[class@ %a@]}" (Util.pp_iter N.pp) (N.iter_class n) in
+             Fmt.fprintf out "{@[<hv>class@ %a@]}" (Util.pp_iter N.pp) (N.iter_class n) in
            k "(@[sidekick.smt-solver.classes@ (@[%a@])@])"
             (Util.pp_iter ppc) (CC.all_classes @@ Solver_internal.cc self.si));