From 7737fa9c2a53143f6493cce5ca65c91bf3e7720d Mon Sep 17 00:00:00 2001
From: Jah-On <58399643+Jah-On@users.noreply.github.com>
Date: Sun, 15 May 2022 04:56:56 +0000
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index 5896014..42ed87c 100644
--- 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
   ```