From bfbe6ea34882a3e4e676070f5970f261f6a37fdf Mon Sep 17 00:00:00 2001
From: Nick Fitzgerald <fitzgen@gmail.com>
Date: Mon, 2 Nov 2020 10:54:03 -0800
Subject: [PATCH] peepmatic: Update to z3 version 0.7.1

This fixes a memory leak related to custom datatypes:
https://github.com/prove-rs/z3.rs/pull/104
---
 Cargo.lock                     | 4 ++--
 cranelift/peepmatic/Cargo.toml | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index cde6734589..30fca096e4 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -2791,9 +2791,9 @@ dependencies = [
 
 [[package]]
 name = "z3"
-version = "0.7.0"
+version = "0.7.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "dbb8ef9d11f50b64327c8a5906b53d3f7f792cb0e849909d476ac0aa16117d61"
+checksum = "aa17be9852c6c2a8de2ea0875350dc5f8626f3eaa6b683148753b827f1b39ce5"
 dependencies = [
  "lazy_static",
  "log",
diff --git a/cranelift/peepmatic/Cargo.toml b/cranelift/peepmatic/Cargo.toml
index c8cab33e60..20deca6101 100644
--- a/cranelift/peepmatic/Cargo.toml
+++ b/cranelift/peepmatic/Cargo.toml
@@ -16,7 +16,7 @@ peepmatic-runtime = { version = "0.67.0", path = "crates/runtime", features = ["
 peepmatic-traits = { version = "0.67.0", path = "crates/traits" }
 serde = { version = "1.0.105", features = ["derive"] }
 wast = "25.0.0"
-z3 = { version = "0.7.0", features = ["static-link-z3"] }
+z3 = { version = "0.7.1", features = ["static-link-z3"] }
 
 [dev-dependencies]
 peepmatic-test-operator = { version = "0.67.0", path = "crates/test-operator" }