From 5faa1d6ef721a10a4b3a5cbfa0d76ed0213e7f4a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 18 Jul 2021 08:04:56 -0400 Subject: [PATCH] chore: try to build again --- src/main/main.ml | 4 ++-- src/smtlib/Typecheck.ml | 1 - src/smtlib/dune | 2 +- 3 files changed, 3 insertions(+), 4 deletions(-) diff --git a/src/main/main.ml b/src/main/main.ml index b407d696..64c1c8b0 100644 --- a/src/main/main.ml +++ b/src/main/main.ml @@ -83,8 +83,8 @@ let argspec = Arg.align [ "--time", Arg.String (int_arg time_limit), " [smhd] sets the time limit for the sat solver"; "-t", Arg.String (int_arg time_limit), " short for --time"; "--version", Arg.Unit (fun () -> Printf.printf "version: %s\n%!" Sidekick_version.version; exit 0), " show version and exit"; - "-d", Arg.Int Msat.Log.set_debug, " sets the debug verbose level"; - "--debug", Arg.Int Msat.Log.set_debug, " sets the debug verbose level"; + "-d", Arg.Int Log.set_debug, " sets the debug verbose level"; + "--debug", Arg.Int Log.set_debug, " sets the debug verbose level"; ] |> List.sort compare (* Limits alarm *) diff --git a/src/smtlib/Typecheck.ml b/src/smtlib/Typecheck.ml index 703912fc..1faed13b 100644 --- a/src/smtlib/Typecheck.ml +++ b/src/smtlib/Typecheck.ml @@ -5,7 +5,6 @@ open Sidekick_base module Loc = Smtlib_utils.V_2_6.Loc module Fmt = CCFormat -module Log = Msat.Log module PA = Smtlib_utils.V_2_6.Ast module BT = Sidekick_base diff --git a/src/smtlib/dune b/src/smtlib/dune index 0ab68eb4..4476ec7a 100644 --- a/src/smtlib/dune +++ b/src/smtlib/dune @@ -3,6 +3,6 @@ (public_name sidekick-bin.smtlib) (libraries containers zarith sidekick.core sidekick.util sidekick-base sidekick-base.solver - msat.backend smtlib-utils + sidekick.backend smtlib-utils sidekick.tef) (flags :standard -warn-error -a+8 -open Sidekick_util))