From 8eb32fa9abdb30665db7030c4861fe2229c0f671 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 8 Sep 2020 22:42:38 -0400
Subject: [PATCH] fix: support containers 2.8.1 and above

---
 msat-bin.opam              | 2 +-
 msat.opam                  | 2 +-
 src/sudoku/sudoku_solve.ml | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/msat-bin.opam b/msat-bin.opam
index 4443f8ee..0dd5a5be 100644
--- a/msat-bin.opam
+++ b/msat-bin.opam
@@ -13,7 +13,7 @@ depends: [
   "ocaml" { >= "4.03" }
   "dune" { >= "1.1" }
   "msat" { = version }
-  "containers" { >= "2.0" }
+  "containers" { >= "2.8.1" }
   "camlzip"
 ]
 tags: [ "sat" ]
diff --git a/msat.opam b/msat.opam
index 8f66242a..630e9bdf 100644
--- a/msat.opam
+++ b/msat.opam
@@ -14,7 +14,7 @@ depends: [
   "ocaml" { >= "4.03" }
   "dune" { >= "1.1" }
   "iter" { >= "1.2" }
-  "containers" {with-test}
+  "containers" {with-test & >= "2.8.1" & < "4.0" }
   "mdx" {with-test}
 ]
 tags: [ "sat" "smt" "cdcl" "functor" ]
diff --git a/src/sudoku/sudoku_solve.ml b/src/sudoku/sudoku_solve.ml
index 616b02a4..e17e0b26 100644
--- a/src/sudoku/sudoku_solve.ml
+++ b/src/sudoku/sudoku_solve.ml
@@ -234,7 +234,7 @@ end = struct
 
     let partial_check (self:t) acts : unit =
       Log.debugf 4
-        (fun k->k "(@[sudoku.partial-check@ :trail [@[%a@]]@])" (Fmt.seq F.pp) (trail_ acts));
+        (fun k->k "(@[sudoku.partial-check@ :trail [@[%a@]]@])" (Fmt.iter F.pp) (trail_ acts));
       add_slice self acts;
       check_ self acts