From a8122292d8f439b4e69f546b6368855517d95c7e Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss <tb592@cl.cam.ac.uk>
Date: Mon, 18 May 2020 13:42:33 +0100
Subject: [PATCH] Upgrade z3 dependency

The opam package for z3 4.8.4 switched to static builds by default, but
still seems to have some issues with passing the correct flags.  This
seems to have converged to a working state with z3 4.8.7.
---
 asli.opam    | 2 +-
 dune-project | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/asli.opam b/asli.opam
index ebd0d75e..4541cbb3 100644
--- a/asli.opam
+++ b/asli.opam
@@ -23,7 +23,7 @@ depends: [
   "linenoise"
   "pprint"
   "zarith"
-  "z3" {<= "4.7.1"}
+  "z3" {>= "4.8.7"}
   "alcotest" {with-test}
 ]
 build: [
diff --git a/dune-project b/dune-project
index f71b03b1..79c787b5 100644
--- a/dune-project
+++ b/dune-project
@@ -21,7 +21,7 @@
     "linenoise"
     "pprint"
     "zarith"
-    ("z3"        (>= "4.8.4"))
+    ("z3"        (>= "4.8.7"))
     ("alcotest"  :with-test)
   )
 )