From e9931b377c04dd2ceb753bd55ac91c7970c86f45 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 10 Oct 2020 16:00:21 -0400 Subject: [PATCH] remove bloody warn-error --- src/cc/dune | 2 +- src/smtlib/dune | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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