Update README.md

hhu-adam · Jan 14, 2025 · 72c7c53 · 72c7c53
1 parent f1a3ac7
commit 72c7c53
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
 ```