From 72c7c532ce3268401020976a06b7bd89003b1a5c Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Tue, 14 Jan 2025 13:21:56 +0100
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index f274e20..69e19ed 100644
--- a/README.md
+++ b/README.md
@@ -174,7 +174,7 @@ Afterwards, you can run the demo with
 ```
 cd lean4monaco
 npm install
-npm setup_demo # this builds lean4monaco and calls `npm install` in `demo/`
+npm run setup_demo # this builds lean4monaco and calls `npm install` in `demo/`
 npm start
 ```