diff --git a/theories/dune b/theories/dune
index cecf9e7..164f039 100644
--- a/theories/dune
+++ b/theories/dune
@@ -3,4 +3,4 @@
  (package coq-aac-tactics)
  (synopsis "Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators")
  (libraries coq-aac-tactics.plugin)
- (flags :standard -w +default))
+)