From 5c97c39829d961f1412f29f4dae09ce024afc8b0 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 10 Jun 2021 12:37:46 -0400 Subject: [PATCH] fix test --- src/arith/tests/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/arith/tests/dune b/src/arith/tests/dune index 8a5b690d..006b7b5f 100644 --- a/src/arith/tests/dune +++ b/src/arith/tests/dune @@ -21,4 +21,4 @@ (rule (targets test_simplex2.ml) (enabled_if (< %{ocaml_version} 4.08.0)) - (action (with-stdout-to %{targets} (echo "let props=[]")))) + (action (with-stdout-to %{targets} (echo "let props=[];; let tests=\"simplex2\",[]"))))