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

try to fix test

Browse source
This commit is contained in:
Simon Cruanes 2020-12-23 16:12:50 -05:00
parent b9b1b685d1
commit d5b4798e20
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/arith/tests/test_simplex.ml
View file

@ -114,8 +114,8 @@ let add_problem (t:Spl.t) (pb:Problem.t) : unit =
List.iter (fun constr -> Spl.add_constr t constr lit) pb
let pp_subst : subst Fmt.printer =
Fmt.(map Spl.L.Var_map.to_seq @@
within "{" "}" @@ hvbox @@ seq ~sep:(return ",@ ") @@
Fmt.(map Spl.L.Var_map.to_iter @@
within "{" "}" @@ hvbox @@ iter ~sep:(return ",@ ") @@
pair ~sep:(return "@ @<1>→ ") Var.pp Q.pp_print
)