From ccac93d07e8dc1eb7879434c7e80664260386c70 Mon Sep 17 00:00:00 2001
From: pludmann <p.ludmann@hotmail.fr>
Date: Thu, 23 Feb 2023 00:47:43 +0100
Subject: [PATCH] [vm-intro] exe name in README agrees w/ Makefile

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

diff --git a/vm-intro/README.md b/vm-intro/README.md
index 1fa4387..8d357a5 100644
--- a/vm-intro/README.md
+++ b/vm-intro/README.md
@@ -12,6 +12,6 @@ See the highly primitive `Makefile` for details.
 Then, run it:
 
 ```
-prompt> ./virtual-addresses
+prompt> ./va
 ```