simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

simpler printing of models

Browse source
This commit is contained in:
Simon Cruanes 2022-02-02 16:12:11 -05:00
parent a0a67549de
commit dbb9dabd1d
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/smtlib/Process.ml
View file

@ -304,7 +304,7 @@ let process_stmt
| Statement.Stmt_get_model -> | Statement.Stmt_get_model ->
begin match Solver.last_res solver with begin match Solver.last_res solver with
| Some (Solver.Sat m) -> | Some (Solver.Sat m) ->
Fmt.printf "(@[model@ %a@])@." Solver.Model.pp m Fmt.printf "%a@." Solver.Model.pp m
| _ -> Error.errorf "cannot access model" | _ -> Error.errorf "cannot access model"
end; end;
E.return () E.return ()