From cc090a457461943974796765720bf369540273c6 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 19 Oct 2022 22:28:52 -0400
Subject: [PATCH] fix(main): consistent printing of models

whether it's --model or (get-model)
---
 src/smtlib/Driver.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smtlib/Driver.ml b/src/smtlib/Driver.ml
index e3c2b673..c4054bb7 100644
--- a/src/smtlib/Driver.ml
+++ b/src/smtlib/Driver.ml
@@ -97,7 +97,7 @@ let solve (self : t) ~assumptions () : Solver.res =
     if self.pp_model then (
       let m = build_model self sat in
       (* TODO: use actual {!Model} in the solver? or build it afterwards *)
-      Format.printf "(@[<hv1>model@ %a@])@." Model.pp m
+      Fmt.printf "%a@." Model.pp m
     );
     (* TODO
        if check then (