From 5505ece5fb2d73619f3f006741c10bb61efe86b2 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 23 Aug 2021 10:49:12 -0400 Subject: [PATCH] chore: fix warning --- src/smt-solver/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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))