diff --git a/test-suite/dune b/test-suite/dune
index 64f6856f..b15d5418 100644
--- 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)