simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-18 08:36:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix test

Browse source
This commit is contained in:
Simon Cruanes 2021-06-10 12:37:46 -04:00
parent 402504b97d
commit 5c97c39829
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/arith/tests/dune
View file

@ -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\",[]"))))