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

try to fix build

Browse source
This commit is contained in:
Simon Cruanes 2020-12-22 11:06:59 -05:00
parent 3b3a2e1caf
commit 5ca4730968
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/arith/lra/simplex.ml
View file

@ -667,7 +667,7 @@ module Make_inner
let pp_pair =
within "(" ")" @@ hvbox @@ pair ~sep:(return "@ := ") Var.pp Erat.pp
in
map Var_map.to_seq @@ within "(" ")" @@ hvbox @@ seq pp_pair
map Var_map.to_iter @@ within "(" ")" @@ hvbox @@ iter pp_pair
let pp_bounds =
let open Format in