From e88662bb52705930a57e99cc4707e82d74449119 Mon Sep 17 00:00:00 2001 From: danyaberezun Date: Fri, 28 Feb 2025 15:54:25 +0100 Subject: [PATCH] try to fix regression --- regression/dune | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) 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)