add missing deps in tests/regressions/dune (fix #983) (#1024)

Deducteam · Nov 30, 2023 · 076d9a8 · 076d9a8
1 parent 903ab9e
commit 076d9a8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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)
+)