Updating README

2025-01-17 00:54:00 +01:00
parent 95cc26bb2f
commit 4a9f62b42d
1 changed files with 1 additions and 1 deletions
--- a/README.md
+++ b/README.md
@ -17,5 +17,5 @@ dune runtest
 ## To run an executable

 ```
-dune exec miniImpInterpreterReg {-}{-} -i bin/sum.miniimp -r 4 -v 100 -e
+dune exec miniImpInterpreterReg -- -i bin/sum.miniimp -r 4 -v 100 -e
 ```