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)