diff --git a/engine/backends/coq/coq/dune b/engine/backends/coq/coq/dune
index 65fa2807e..131beb9c0 100644
--- a/engine/backends/coq/coq/dune
+++ b/engine/backends/coq/coq/dune
@@ -17,4 +17,4 @@
 (env
  (_
   (flags
-   (:standard -w +A -w "-4-40-42-44-45-48"))))
+   (:standard -w -A))))
diff --git a/engine/backends/coq/ssprove/dune b/engine/backends/coq/ssprove/dune
index 2acbd78d8..ee0600b3e 100644
--- a/engine/backends/coq/ssprove/dune
+++ b/engine/backends/coq/ssprove/dune
@@ -17,4 +17,4 @@
 (env
  (_
   (flags
-   (:standard -w +A -w "-4-40-42-44-45-48"))))
+   (:standard -w -A))))
diff --git a/engine/backends/easycrypt/dune b/engine/backends/easycrypt/dune
index a864916e1..3936a87e8 100644
--- a/engine/backends/easycrypt/dune
+++ b/engine/backends/easycrypt/dune
@@ -14,16 +14,7 @@
    ppx_functor_application
    ppx_matches)))
 
-; (env
-;  (_
-;   (flags
-;    (:standard -warn-error -A -warn-error +8))))
-; (env
-;  (_
-;   (flags
-;    (:standard -g -warn-error "+A" -w "-17-30-56-32"))))
-
 (env
  (_
   (flags
-   (:standard -w +A))))
+   (:standard -w -A))))