From 4a9f62b42dad4f5d166aadc83e87d6ae70471ca0 Mon Sep 17 00:00:00 2001
From: elvis <elvilio98@gmail.com>
Date: Fri, 17 Jan 2025 00:54:00 +0100
Subject: [PATCH] Updating README

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

diff --git a/README.md b/README.md
index 3eed96f..77175f4 100644
--- 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
 ```