From dbb9dabd1d70e821ff49a9a260095cac63e8249d Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 2 Feb 2022 16:12:11 -0500
Subject: [PATCH] simpler printing of models

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

diff --git a/src/smtlib/Process.ml b/src/smtlib/Process.ml
index 1a03cc66..5f04bc45 100644
--- a/src/smtlib/Process.ml
+++ b/src/smtlib/Process.ml
@@ -304,7 +304,7 @@ let process_stmt
     | Statement.Stmt_get_model ->
       begin match Solver.last_res solver with
         | Some (Solver.Sat m) ->
-          Fmt.printf "(@[model@ %a@])@." Solver.Model.pp m
+          Fmt.printf "%a@." Solver.Model.pp m
         | _ -> Error.errorf "cannot access model"
       end;
       E.return ()