Fix path

Signed-off-by: Xudong Sun <[email protected]>
anvil-verifier · Mar 9, 2024 · 7e0a914 · 7e0a914
1 parent 2ea1083
commit 7e0a914
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"