From c9465848dc8e527679891e4ac4cd8b7aa5efdfd6 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 19 Nov 2012 21:30:39 -0800
Subject: [PATCH] Fixed typo found by Yuto Takei

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README b/README
index a85d13726..88469071c 100644
--- a/README
+++ b/README
@@ -12,7 +12,7 @@ Z3 can be built using Visual Studio Command Prompt and make/g++.
 2) Building Z3 using make/g++ and Python
 Execute:
 
-   autconf
+   autoconf
    ./configure
    python scripts/mk_make.py
    cd build