From 7e9693348aa12b9e6690715bedc030e8877e4d18 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 26 Feb 2019 19:10:06 -0600
Subject: [PATCH] fix: ensure that the mdx test doesn't run too early

---
 dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dune b/dune
index 18913452..79a54003 100644
--- a/dune
+++ b/dune
@@ -1,7 +1,7 @@
 
 (alias
  (name runtest)
- (deps README.md)
+ (deps README.md src/core/msat.cma src/sat/msat_sat.cma src/sudoku/sudoku_solve.exe)
  (locks test)
  (action (progn
           (run mdx test README.md)