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

chore: try to fix build again

Browse source
This commit is contained in:
Simon Cruanes 2020-12-22 11:53:12 -05:00
parent 14bb5898f0
commit 6c1b7df301
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

@ -674,7 +674,7 @@ module Make_inner
let pp_pairs out (x,(l,u)) = let pp_pairs out (x,(l,u)) =
fprintf out "(@[%a =< %a =< %a@])" Erat.pp l.value Var.pp x Erat.pp u.value fprintf out "(@[%a =< %a =< %a@])" Erat.pp l.value Var.pp x Erat.pp u.value
in in
map Var_map.to_seq @@ within "(" ")" @@ hvbox @@ seq pp_pairs map Var_map.to_iter @@ within "(" ")" @@ hvbox @@ iter pp_pairs
let pp_full_state out (t:t) : unit = let pp_full_state out (t:t) : unit =
(* print main matrix *) (* print main matrix *)