simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

detail

Browse source
This commit is contained in:
Simon Cruanes 2022-08-07 22:42:35 -04:00
parent 5b6fd14dcf
commit 97a5c8efa3
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
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/smtlib/dune
View file

@ -2,5 +2,5 @@
(name sidekick_smtlib) (name sidekick_smtlib)
(public_name sidekick-bin.smtlib) (public_name sidekick-bin.smtlib)
(libraries containers zarith sidekick.core sidekick.util sidekick-base (libraries containers zarith sidekick.core sidekick.util sidekick-base
sidekick-base.solver smtlib-utils sidekick.tef) smtlib-utils sidekick.tef)
(flags :standard -warn-error -a+8 -open Sidekick_util)) (flags :standard -warn-error -a+8 -open Sidekick_util))