From 325acc5724ff03240706aa47111636cbd3379ea3 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 14 Jul 2022 22:17:25 -0400
Subject: [PATCH] fix tests

---
 examples/sudoku/sudoku_solve.ml | 2 --
 src/tests/regression/dune       | 6 ++++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/examples/sudoku/sudoku_solve.ml b/examples/sudoku/sudoku_solve.ml
index 4d3c7304..761ebc9f 100644
--- a/examples/sudoku/sudoku_solve.ml
+++ b/examples/sudoku/sudoku_solve.ml
@@ -178,8 +178,6 @@ end = struct
     let make sign x y (c : Cell.t) : t = sign, x, y, c
   end
 
-  type lit = F.t
-
   module Theory = struct
     type proof = unit
     type proof_step = unit
diff --git a/src/tests/regression/dune b/src/tests/regression/dune
index ab2ec691..a5440a9a 100644
--- a/src/tests/regression/dune
+++ b/src/tests/regression/dune
@@ -1,10 +1,12 @@
 (rule
  (targets reg_model_lra1.out)
- (deps reg_model_lra1.smt2)
+ (deps
+  (:file reg_model_lra1.smt2)
+  ../../main/main.exe)
  (action
   (with-stdout-to
    %{targets}
-   (bash "../../main/main.exe %{deps} | tail -n +2"))))
+   (bash "../../main/main.exe %{file} | tail -n +2"))))
 
 (rule
  (alias runtest)