fix README & Opam

bitwuzla · Aug 7, 2023 · a23ef48 · a23ef48
1 parent df19dfe
commit a23ef48
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -230,7 +230,7 @@ Other examples together with their SMT-LIB input can be found in directory
 - an unsatisfiable example with unsat assumption query
 ([unsatassumptions](examples/unsatassumptions.ml))
 - an example with termination callback
-([terminator](examples/terminator.ml).
+([terminator](examples/terminator.ml)).
 
 ## Installation
 

diff --git a/bitwuzla-cxx.opam b/bitwuzla-cxx.opam
@@ -20,7 +20,7 @@ depends: [
   "conf-git" {build}
   "conf-gcc" {build}
   "conf-g++" {build}
-  "conf-gmp"
+  "zarith"
   "ppx_inline_test" {with-test & >= "v0.13"}
   "ppx_expect" {with-test & >= "v0.13"}
   "odoc" {with-doc}

diff --git a/dune-project b/dune-project
@@ -23,7 +23,7 @@ Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fi
   (conf-git :build)
   (conf-gcc :build)
   (conf-g++ :build)
-   conf-gmp
+  zarith
   (ppx_inline_test (and :with-test (>= v0.13)))
   (ppx_expect (and :with-test (>= v0.13))))
  (conflicts