Fix examples for current version of coqup

1 files changed, 3 insertions, 3 deletions

diff --git a/README.md b/README.md
index 71052f7..c463028 100644
--- a/README.md
+++ b/README.md
@@ -73,7 +73,7 @@ Which will install the binary in `./bin/coqup` by default. However, this can be
 To test out `coqup` you can try the following examples which are in the test folder using the following:
 
 ``` shell
-./bin/coqup test/loop.c -o loop.v
-./bin/coqup test/conditional.c -o conditional.v
-./bin/coqup test/add.c -o add.v
+./bin/coqup --hls test/loop.c -o loop.v
+./bin/coqup --hls test/conditional.c -o conditional.v
+./bin/coqup --hls test/add.c -o add.v
 ```