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

fix: support containers 2.8.1 and above

Browse source
This commit is contained in:
Simon Cruanes 2020-09-08 22:42:38 -04:00
parent 707085b2c1
commit 8eb32fa9ab
3 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
msat-bin.opam
View file

@ -13,7 +13,7 @@ depends: [
"ocaml" { >= "4.03" } "ocaml" { >= "4.03" }
"dune" { >= "1.1" } "dune" { >= "1.1" }
"msat" { = version } "msat" { = version }
"containers" { >= "2.0" } "containers" { >= "2.8.1" }
"camlzip" "camlzip"
] ]
tags: [ "sat" ] tags: [ "sat" ]

2
msat.opam
View file

@ -14,7 +14,7 @@ depends: [
"ocaml" { >= "4.03" } "ocaml" { >= "4.03" }
"dune" { >= "1.1" } "dune" { >= "1.1" }
"iter" { >= "1.2" } "iter" { >= "1.2" }
"containers" {with-test} "containers" {with-test & >= "2.8.1" & < "4.0" }
"mdx" {with-test} "mdx" {with-test}
] ]
tags: [ "sat" "smt" "cdcl" "functor" ] tags: [ "sat" "smt" "cdcl" "functor" ]

2
src/sudoku/sudoku_solve.ml
View file

@ -234,7 +234,7 @@ end = struct
let partial_check (self:t) acts : unit = let partial_check (self:t) acts : unit =
Log.debugf 4 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; add_slice self acts;
check_ self acts check_ self acts