diff --git a/src/smt-solver/dune b/src/smt-solver/dune
index 048b6486..af2957f5 100644
--- a/src/smt-solver/dune
+++ b/src/smt-solver/dune
@@ -3,4 +3,4 @@
  (public_name sidekick.smt-solver)
  (libraries containers iter sidekick.core sidekick.util
             sidekick.cc sidekick.sat)
- (flags :standard -open Sidekick_util))
+ (flags :standard -warn-error -a+8 -open Sidekick_util))