simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-09 12:45:48 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: use iter, not sequence, in dune

Browse source
This commit is contained in:
Simon Cruanes 2019-03-16 13:54:38 -05:00
parent 9aa4159f2b
commit 338a84bf3a
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/sudoku/dune
View file

@ -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)