diff --git a/dune b/dune
index 822f87d0b104c5fc69a8aca77c3b812a5b42f27c..98673015efcb81b5fe8f42e7ad4b8f9c66c9459f 100644
--- a/dune
+++ b/dune
@@ -4,4 +4,5 @@
    (flags ; Configure the coqc flags.
     (:standard ; Keeping the default flags.
      ; Add custom flags (to be kept in sync with _CoqProject).
-     -w -argument-scope-delimiter)))))
+     -w -argument-scope-delimiter
+     -w -notation-incompatible-prefix)))))