From 7a5912f9b7108e2af2bd016523124a2abca127a2 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Thu, 11 Jul 2013 16:25:07 +0000
Subject: Patch by Jonathan Neuschäfer: "fix reference to posix/uclibc step"
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@186099 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/GetStarted.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/www/GetStarted.html b/www/GetStarted.html
index abd1b7bc..7f6199dc 100644
--- a/www/GetStarted.html
+++ b/www/GetStarted.html
@@ -216,7 +216,7 @@ runtime, which is built on top of the uClibc C library.
       $ ./configure --with-llvm=<i>path/to/llvm</i> --with-stp=<i>path/to/stp/install</i> --with-uclibc=<i>path/to/klee-uclibc</i> --enable-posix-runtime
     </div>
     
-    <p><b>NOTE:</b> If you skipped step 3, simply remove the <tt>--with-uclibc</tt> and <tt>--enable-posix-runtime options</tt>. </p>
+    <p><b>NOTE:</b> If you skipped step 4, simply remove the <tt>--with-uclibc</tt> and <tt>--enable-posix-runtime options</tt>. </p>
   </li>
 
   <li><b>Build KLEE:</b>
-- 
cgit 1.4.1