From 6c841134efd27afc29189f68b607a084d81f5dd7 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 26 Feb 2026 12:30:45 -0500 Subject: [PATCH] format --- test/domains/dune | 1 + test/dune | 1 - 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/test/domains/dune b/test/domains/dune index 88cfb01..0a3fa1a 100644 --- a/test/domains/dune +++ b/test/domains/dune @@ -20,6 +20,7 @@ (rule (alias runtest) + (package trace) (action (progn (with-stdout-to diff --git a/test/dune b/test/dune index c671c0d..ef6e6ae 100644 --- a/test/dune +++ b/test/dune @@ -1,4 +1,3 @@ - (tests (names t1 t_core t_debug) (modules t1 t_core t_debug)