From 34f64d2d699f9ab87ed2962544f621398e3e448f Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 21 Feb 2019 17:51:52 -0600
Subject: [PATCH] detail: sudoku solver prints total time

---
 src/sudoku/sudoku_solve.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/sudoku/sudoku_solve.ml b/src/sudoku/sudoku_solve.ml
index ffbba32c..389fce6a 100644
--- a/src/sudoku/sudoku_solve.ml
+++ b/src/sudoku/sudoku_solve.ml
@@ -308,7 +308,9 @@ let solve_file file =
        | Some g' ->
          Format.printf "@[<v>@[<2>solution (in %.3fs):@ %a@]@,###################@]@."
            (Sys.time()-.start) Grid.pp g')
-    grids
+    grids;
+  Format.printf "@.solved %d grids (in %.3fs)@." (List.length grids) (Sys.time()-.start);
+  ()
 
 let () =
   Fmt.set_color_default true;