diff --git a/src/cc/dune b/src/cc/dune
index 03f718d4..9f98727a 100644
--- a/src/cc/dune
+++ b/src/cc/dune
@@ -4,4 +4,4 @@
   (name Sidekick_cc)
   (public_name sidekick.cc)
   (libraries containers iter sidekick.core sidekick.util)
-  (flags :standard -open Sidekick_util))
+  (flags :standard -warn-error -a+8 -open Sidekick_util))
diff --git a/src/smtlib/dune b/src/smtlib/dune
index ff1c160e..b87df1c5 100644
--- a/src/smtlib/dune
+++ b/src/smtlib/dune
@@ -4,6 +4,6 @@
  (libraries containers zarith msat sidekick.core sidekick.util
    sidekick.msat-solver sidekick.base-term sidekick.th-bool-static
    sidekick.mini-cc sidekick.th-data sidekick.th-lra msat.backend smtlib-utils)
- (flags :standard -warn-error -27-37 -open Sidekick_util))
+ (flags :standard -warn-error -a+8 -open Sidekick_util))
 
 ; TODO: enable warn-error again