simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-29 12:54:50 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

lra is not optional

Browse source
This commit is contained in:
Simon Cruanes 2021-02-16 14:00:59 -05:00
parent cfbd352ca0
commit 284a475197
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/arith/lra/dune
View file

@ -2,6 +2,5 @@
(library (library
(name sidekick_arith_lra) (name sidekick_arith_lra)
(public_name sidekick-arith.lra) (public_name sidekick-arith.lra)
(optional) ; only if deps present
(flags :standard -warn-error -a+8 -w -32 -open Sidekick_util) (flags :standard -warn-error -a+8 -w -32 -open Sidekick_util)
(libraries containers sidekick.core zarith)) (libraries containers sidekick.core zarith))