From a43bd21a19aaae7bac9946756b5c6a82a8cb19f0 Mon Sep 17 00:00:00 2001
From: Eric Huss <eric@huss.org>
Date: Tue, 30 May 2023 19:03:47 -0700
Subject: [PATCH] Explicitly set the cargo resolver

---
 Cargo.toml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Cargo.toml b/Cargo.toml
index 6efd6b189a..b303f2872f 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,4 +1,5 @@
 [workspace]
+resolver = "1"
 members = [
   "crates/stdarch-verify",
   "crates/core_arch",