diff --git a/regression/dune b/regression/dune index 62c794da0..255c948c1 100644 --- a/regression/dune +++ b/regression/dune @@ -1,7 +1,10 @@ ; This file was autogenerated (cram - (deps ../src/Driver.exe ../runtime/runtime.a ../runtime/Std.i)) + (deps ../src/Driver.exe)) + +(cram + (deps ../../runtime/runtime.a ../../runtime/Std.i)) (cram (applies_to test001)