From 97a5c8efa3bd86826c521b76168e2bdc6883a6c2 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 7 Aug 2022 22:42:35 -0400 Subject: [PATCH] detail --- src/smtlib/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smtlib/dune b/src/smtlib/dune index c7c1369d..2083bacf 100644 --- a/src/smtlib/dune +++ b/src/smtlib/dune @@ -2,5 +2,5 @@ (name sidekick_smtlib) (public_name sidekick-bin.smtlib) (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))