diff --git a/README.md b/README.md
index 40d300471cf47806a3192325e36a739253a65664..a5aa2965c86c1d805a4c621be74158db59030947 100644
--- a/README.md
+++ b/README.md
@@ -43,7 +43,7 @@ Example usage:
 ``` Rust
     ...
     let mut a = 0;
-    klee_make_symbolic(&mut a, "a");
+    klee_make_symbolic!(&mut a, "a");
 ```
 
 ## KLEE test case generation