From 11ee98660ba3592ab69d50b9973210a34c6f848f Mon Sep 17 00:00:00 2001
From: David Mazarro <davidmazarro98@gmail.com>
Date: Sun, 3 Mar 2024 16:24:52 +0000
Subject: [PATCH] docs: Updated example in usage instructions

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

diff --git a/README.md b/README.md
index 9247e5e..d006465 100644
--- a/README.md
+++ b/README.md
@@ -45,7 +45,7 @@ To use `wasm-verify`, run the command providing it with the WebAssembly
 module containing the functions you want to verify and the VerifiWASM
 specification. Try it out with one of the [examples](examples/):
 ```
-wasm-verify ./examples/fib.wasm --spec ./examples/fib.verifiwasm
+cabal exec -- wasm-verify ./examples/fib.wasm --spec ./examples/fib.verifiwasm
 ```
 (or you can use the short version of `--spec`, which is `-s`).