From 8287f7ba82ced4bc11a24a0b634b2449e228862a Mon Sep 17 00:00:00 2001
From: Xavier DELPIERRE <aurixav9@hotmail.fr>
Date: Sun, 17 Apr 2016 02:39:35 +0200
Subject: [PATCH] nmake->make, little error

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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