simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-24 10:26:40 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix test on 2.8.1

Browse source
This commit is contained in:
Simon Cruanes 2020-09-09 15:38:07 -04:00
parent 8eb32fa9ab
commit 9ef84f1df3
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/sudoku/sudoku_solve.ml
View file

@ -206,7 +206,7 @@ end = struct
all_diff "squares" Grid.squares;
()
let trail_ (acts:_ Msat.acts) =
let trail_ (acts:_ Msat.acts) =
acts.acts_iter_assumptions
|> Iter.map
(function
@ -234,7 +234,8 @@ end = struct
let partial_check (self:t) acts : unit =
Log.debugf 4
(fun k->k "(@[sudoku.partial-check@ :trail [@[%a@]]@])" (Fmt.iter F.pp) (trail_ acts));
(fun k->k "(@[sudoku.partial-check@ :trail [@[%a@]]@])"
(Fmt.list F.pp) (trail_ acts |> Iter.to_list));
add_slice self acts;
check_ self acts