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