simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-07 03:35:38 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: fix warning

Browse source
This commit is contained in:
Simon Cruanes 2021-08-23 10:49:12 -04:00
parent 07d512badc
commit 5505ece5fb
No known key found for this signature in database
GPG key ID: 4AC01D0849AA62B6
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/smt-solver/dune
View file

@ -3,4 +3,4 @@
(public_name sidekick.smt-solver) (public_name sidekick.smt-solver)
(libraries containers iter sidekick.core sidekick.util (libraries containers iter sidekick.core sidekick.util
sidekick.cc sidekick.sat) sidekick.cc sidekick.sat)
(flags :standard -open Sidekick_util)) (flags :standard -warn-error -a+8 -open Sidekick_util))