From 458f5fa9b69dcfa206b80a0e6e289faeb4503632 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 18 Aug 2021 00:03:16 -0400 Subject: [PATCH] finish renaming --- src/base-solver/dune | 8 ++++---- src/main/dune | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/base-solver/dune b/src/base-solver/dune index 1134e584..4f2e8417 100644 --- a/src/base-solver/dune +++ b/src/base-solver/dune @@ -2,8 +2,8 @@ (name sidekick_base_solver) (public_name sidekick-base.solver) (synopsis "Instantiation of solver and theories for Sidekick_base") - (libraries sidekick-base sidekick.core sidekick.msat-solver - sidekick.th-bool-static - sidekick.mini-cc sidekick.th-data - sidekick.arith-lra sidekick.zarith) + (libraries sidekick-base sidekick.core sidekick.smt-solver + sidekick.th-bool-static + sidekick.mini-cc sidekick.th-data + sidekick.arith-lra sidekick.zarith) (flags :standard -warn-error -a+8 -safe-string -color always -open Sidekick_util)) diff --git a/src/main/dune b/src/main/dune index 74ce7195..5f64834f 100644 --- a/src/main/dune +++ b/src/main/dune @@ -6,7 +6,7 @@ (package sidekick-bin) (modes native) (libraries containers iter result sidekick.sat sidekick.core sidekick-base - sidekick.msat-solver sidekick-bin.smtlib sidekick.tef + sidekick.smt-solver sidekick-bin.smtlib sidekick.tef sidekick.memtrace sidekick-bin.lib) (flags :standard -safe-string -color always -open Sidekick_util))