1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 239d9564..15f99733 100644
--- a/README.md
+++ b/README.md
@@ -86,7 +86,7 @@ $ xbuild Source/Boogie.sln
 ```
 
 Finally make sure there is a symlink to Z3 in the Binaries directory
-(replace with ``cvc`` if using CVC4 instead).
+(replace with ``cvc4`` if using CVC4 instead).
 
 ```
 $ ln -s /usr/bin/z3 Binaries/z3.exe