Try fixing the rocq-equations test-suite package dune def

mattam82 · Jan 29, 2025 · 74f6ca9 · 74f6ca9
1 parent 2ce6d98
commit 74f6ca9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test-suite/dune b/test-suite/dune
@@ -3,7 +3,7 @@
  (name Equations.TestSuite)
  (package rocq-equations-tests)
  (synopsis "Equations Plugin Tests")
- (plugins rocq-runtime.plugins.extraction rocq-equations.plugin)
+ (plugins rocq-runtime.plugins.extraction)
  (theories Stdlib Equations Equations.Prop Equations.Type))
 
 (include_subdirs no)