From 14e1e247a408ba5fd8be4adcd81057829baaa5b6 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sun, 17 Apr 2016 11:35:27 +0100
Subject: [PATCH] Revert "nmake->make, little error"

This reverts commit 8287f7ba82ced4bc11a24a0b634b2449e228862a.
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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