fiexed macro in readme

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