[klee-dev] [PATCH 1/3] www/GetStarted.html: fix reference to posix/uclibc step

[Jonathan Neuschäfer]

---
 www/GetStarted.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/www/GetStarted.html b/www/GetStarted.html
index abd1b7b..7f6199d 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>
-- 
1.8.3.1