From 43af0c8df847cc25de2291fffb51c09262c9247d Mon Sep 17 00:00:00 2001
From: Travis Hance <tjhance7@gmail.com>
Date: Fri, 17 Jan 2025 15:38:03 -0500
Subject: [PATCH] update CONTRIBUTING.md

---
 CONTRIBUTING.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index c0073bee78..9512394fef 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -161,7 +161,7 @@ run, from the project root:
 
 ```
 cd source/vstd
-../target-verus/release/verus --crate-type=lib --no-vstd vstd.rs
+../target-verus/release/verus --crate-type=lib --is-vstd vstd.rs
 ```
 
 ### Common Conventions