From afe3e1eabed717150dbc1096a01dbcf45c59fec6 Mon Sep 17 00:00:00 2001 From: danyaberezun Date: Fri, 28 Feb 2025 16:25:11 +0100 Subject: [PATCH] uptd --- regression/dune | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/regression/dune b/regression/dune index 3ae196aef..f4cef0eb7 100644 --- a/regression/dune +++ b/regression/dune @@ -1,6 +1,7 @@ ; This file was autogenerated -(cram (deps ../src/Driver.exe ../runtime/Std.i)) +(cram (deps ../src/Driver.exe)) +(cram (deps ../runtime/runtime.a ../runtime/Std.i)) (cram (applies_to test001)