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