Add z3 dependency

formalsec · Aug 24, 2024 · 721ffe4 · 721ffe4
1 parent 33a4730
commit 721ffe4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/dune-project b/dune-project
@@ -26,4 +26,5 @@
    (ocamlformat :with-dev-setup)
    pyml
    re2
-   (smtml (>= "0.2.4"))))
+   (smtml (>= "0.2.4"))
+   z3))
diff --git a/wasp.opam b/wasp.opam
@@ -18,6 +18,7 @@ depends: [
   "pyml"
   "re2"
   "smtml" {>= "0.2.4"}
+  "z3"
   "odoc" {with-doc}
 ]
 build: [
-Original file line number
+Diff line change
@@ Expand Up / @@ -18,6 +18,7 @@ depends: [ @@
       "pyml"
       "re2"
       "smtml" {>= "0.2.4"}
+      "z3"
       "odoc" {with-doc}
     ]
     build: [
@@ Expand Down @@