Fix strange bug

cryspen · Feb 22, 2024 · 4520999 · 4520999
1 parent f49bdf1
commit 4520999
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 12 deletions.
diff --git 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
@@ -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
@@ -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))))
-Original file line number
+Diff line change
@@ Expand Up / @@ -17,4 +17,4 @@ @@
     (env
      (_
       (flags
-       (:standard -w +A -w "-4-40-42-44-45-48"))))
+       (:standard -w -A))))