rule110 does not require quicksort.term

backtracking · Jan 28, 2024 · 74faf82 · 74faf82
1 parent 46daf7b
commit 74faf82
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/dune b/dune
@@ -10,7 +10,6 @@
 (test
  (name rule110)
  (modules rule110)
- (deps quicksort.term)
  (enabled_if %{arch_sixtyfour})
  (libraries hashcons))