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)