diff --git a/README.md b/README.md index 3985fad27..41863ee67 100644 --- a/README.md +++ b/README.md @@ -33,7 +33,7 @@ then: ```bash cd build -nmake +make ``` ## Building Z3 using make and GCC/Clang