From 9ef84f1df3c809a58656546edc0cb58e9d23999e Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 9 Sep 2020 15:38:07 -0400 Subject: [PATCH] fix test on 2.8.1 --- src/sudoku/sudoku_solve.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/sudoku/sudoku_solve.ml b/src/sudoku/sudoku_solve.ml index e17e0b26..a75ace03 100644 --- a/src/sudoku/sudoku_solve.ml +++ b/src/sudoku/sudoku_solve.ml @@ -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