Update README.md

Jah-On · May 15, 2022 · 7737fa9 · 7737fa9
1 parent 87252f5
commit 7737fa9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -7,7 +7,7 @@ Install and run steps:
   ```bash
   git clone https://github.com/Jah-On/VDE
   cd VDE
-  v VDE.v -gc boehm
+  v VDE.v -gc boehm (or v VDE.v -gc boehm -prod for better efficiency)
   ./VDE
   ```