diff --git a/regression/dune b/regression/dune index fb700e642..3ae196aef 100644 --- a/regression/dune +++ b/regression/dune @@ -1,10 +1,6 @@ ; This file was autogenerated -(cram - (deps ../src/Driver.exe)) - -(cram - (deps ../runtime/runtime.a ../runtime/Std.i)) +(cram (deps ../src/Driver.exe ../runtime/Std.i)) (cram (applies_to test001)