From defa6b37735ab7daf7df69c7f62337c070a34fe4 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Sun, 25 Oct 2009 23:19:55 +0000
Subject: Update instructions to suggest using llvm-gcc 2.6.

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

diff --git a/www/GetStarted.html b/www/GetStarted.html
index adbf7318..9e03e1df 100644
--- a/www/GetStarted.html
+++ b/www/GetStarted.html
@@ -33,11 +33,11 @@ targets.<p>
 <ol>
   <li>Install llvm-gcc:
     <ul>
-      <li>Download and install the LLVM 2.5 release of <tt>llvm-gcc</tt>
+      <li>Download and install the LLVM 2.6 release of <tt>llvm-gcc</tt>
         from <a href="http://llvm.org/releases/download.html">here</a>.  Add
         <tt>llvm-gcc</tt> to your <tt>PATH</tt>. It is important to do this first
         so that <tt>llvm-gcc</tt> is found in subsequent <tt>configure</tt>
-      steps. <tt>llvm-gcc</tt> will be used later to compile programs that KLEE
+        steps. <tt>llvm-gcc</tt> will be used later to compile programs that KLEE
         can execute.</li>
     </ul>
   </li>
-- 
cgit 1.4.1