From 3e20ffda68557cf944369ab37a675d815d1f6a6f Mon Sep 17 00:00:00 2001
From: Eric Huss <eric@huss.org>
Date: Sat, 25 Mar 2023 13:13:24 -0700
Subject: [PATCH] Update proptest

---
 crates/resolver-tests/Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crates/resolver-tests/Cargo.toml b/crates/resolver-tests/Cargo.toml
index cc50ad3b43a..e4aab4325f7 100644
--- a/crates/resolver-tests/Cargo.toml
+++ b/crates/resolver-tests/Cargo.toml
@@ -8,5 +8,5 @@ cargo = { path = "../.." }
 cargo-util = { path = "../cargo-util" }
 is-terminal = "0.4.0"
 lazy_static = "1.3.0"
-proptest = "0.9.1"
+proptest = "1.1.0"
 varisat = "0.2.1"