From 0bee012f2c740178dbb6ade5879d39cd49d76dc0 Mon Sep 17 00:00:00 2001
From: Yuto Takei <y.takei@is.s.u-tokyo.ac.jp>
Date: Tue, 20 Nov 2012 13:12:37 +0900
Subject: [PATCH] typo

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

diff --git a/README b/README
index cf028ef79..3344cea6f 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