From 338a84bf3aaec2538bdc6d358631db22bad56243 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 16 Mar 2019 13:54:38 -0500
Subject: [PATCH] chore: use `iter`, not sequence, in dune

---
 src/sudoku/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sudoku/dune b/src/sudoku/dune
index ad4a2b92..000c407f 100644
--- a/src/sudoku/dune
+++ b/src/sudoku/dune
@@ -2,7 +2,7 @@
 (executable
   (name sudoku_solve)
   (modes native)
-  (libraries msat msat.backtrack sequence containers)
+  (libraries msat msat.backtrack iter containers)
   (flags :standard -warn-error -a -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string)
   (ocamlopt_flags :standard -O3 -bin-annot
                   -unbox-closures -unbox-closures-factor 20)