simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-08 20:25:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

remove bloody warn-error

Browse source
This commit is contained in:
Simon Cruanes 2020-10-10 16:00:21 -04:00
parent 242f554974
commit e9931b377c
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/cc/dune
View file

@ -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))

2
src/smtlib/dune
View file

@ -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