From 5ca473096897df4e605f3641cbcf336d10ca9184 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 22 Dec 2020 11:06:59 -0500
Subject: [PATCH] try to fix build

---
 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 ddd280a9..69a85bfb 100644
--- a/src/arith/lra/simplex.ml
+++ b/src/arith/lra/simplex.ml
@@ -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