From 7e0a91429259e2cbb597ada5dcc92d3b5d194982 Mon Sep 17 00:00:00 2001
From: Xudong Sun <xudongs3@illinois.edu>
Date: Sat, 9 Mar 2024 14:41:18 -0600
Subject: [PATCH] Fix path

Signed-off-by: Xudong Sun <xudongs3@illinois.edu>
---
 Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Cargo.toml b/Cargo.toml
index bd0e722ac..f6d5bc93f 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -6,7 +6,7 @@ edition = "2021"
 [dependencies]
 builtin = { path = "../verus/source/builtin" }
 builtin_macros = { path = "../verus/source/builtin_macros" }
-vstd = { path = "../verus/source/pervasive" }
+vstd = { path = "../verus/source/vstd" }
 deps_hack = { path = "src/deps_hack" }
 tungstenite = "0.20.1"
 rand = "0.8"