From 076d9a880851e1445285f55282fdb457edfe9908 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= Date: Thu, 30 Nov 2023 15:56:53 +0100 Subject: [PATCH] add missing deps in tests/regressions/dune (fix #983) (#1024) --- tests/regressions/dune | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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) +)