Merge pull request #12 from edwintorok/master

dune: add missing deps
backtracking · Jan 28, 2024 · f242e32 · f242e32
2 parents 31fc6b6 + e445076
commit f242e32
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/dune b/dune
@@ -10,10 +10,13 @@
 (test
  (name rule110)
  (modules rule110)
+ (deps quicksort.term)
+ (enabled_if %{arch_sixtyfour})
  (libraries hashcons))
 
 (test
  (name test_qs)
  (modules test_qs)
  (flags ())
+ (deps quicksort.term)
  (libraries hashcons))