From 6c1b7df301bd55dcca686ed1a84c6e3af4a3dbb2 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 22 Dec 2020 11:53:12 -0500
Subject: [PATCH] chore: try to fix build again

---
 src/arith/lra/simplex.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/arith/lra/simplex.ml b/src/arith/lra/simplex.ml
index 69a85bfb..0d47ff40 100644
--- a/src/arith/lra/simplex.ml
+++ b/src/arith/lra/simplex.ml
@@ -674,7 +674,7 @@ module Make_inner
     let pp_pairs out (x,(l,u)) =
       fprintf out "(@[%a =< %a =< %a@])" Erat.pp l.value Var.pp x Erat.pp u.value
     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 =
     (* print main matrix *)