diff --git a/tests/regressions/dune b/tests/regressions/dune index d4fa59933..695547226 100644 --- a/tests/regressions/dune +++ b/tests/regressions/dune @@ -1,3 +1,4 @@ (tests (names hrs xtc dtrees) - (libraries timed lambdapi.export lambdapi.core lambdapi.common lambdapi.handle)) + (libraries timed lambdapi.export lambdapi.core lambdapi.common lambdapi.handle) (deps ../OK/boolean.lp ../OK/unif_hint.lp ../lambdapi.pkg) +)