From 9072d80995eeadec0c14c3875608c1039dfeec86 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 31 Oct 2012 14:36:18 -0700
Subject: [PATCH] fixed typo

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 16b569a2d..a752c1acd 100644
--- a/README
+++ b/README
@@ -25,7 +25,7 @@ You can change the installation p
 Use the following commands to install in a different prefix (e.g., /home/leo).
 
   autoconf
-  ./configure --prefix=/home
+  ./configure --prefix=/home/leo
   python scripts/mk_make.py
   cd build
   make