From b86a6432ebe26595ed21004b4fa5d13dfa195d0f Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 7 Jun 2019 18:07:22 -0500 Subject: [PATCH] fix(base-term): no dep on zarith necessary for now --- src/base-term/dune | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/src/base-term/dune b/src/base-term/dune index 463ad6c0..c3398ce8 100644 --- a/src/base-term/dune +++ b/src/base-term/dune @@ -1,7 +1,6 @@ (library - (name sidekick_base_term) - (public_name sidekick.base-term) - (synopsis "Basic term definitions for the standalone SMT solver") - (libraries containers containers.data - sidekick.core sidekick.util zarith) - (flags :standard -w -32 -open Sidekick_util)) + (name sidekick_base_term) + (public_name sidekick.base-term) + (synopsis "Basic term definitions for the standalone SMT solver") + (libraries containers containers.data sidekick.core sidekick.util) + (flags :standard -w -32 -open Sidekick_util))