Update the Charon-ML dune file

AeneasVerif · Nov 21, 2023 · 49231f3 · 49231f3
1 parent 560a26e
commit 49231f3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/charon-ml/src/dune b/charon-ml/src/dune
@@ -49,12 +49,12 @@
    -g
    ;-dsource
    -warn-error
-   -5@8-9-11-14-33-20-21-26-27-39))
+   -5@8-11-14-33-20-21-26-27-39))
  (release
   (flags
    :standard
    -safe-string
    -g
    ;-dsource
    -warn-error
-   -5@8-9-11-14-33-20-21-26-27-39)))
+   -5@8-11-14-33-20-21-26-27-39)))