From d2b22c4607cc2665d2c8b3eeb3832bec00c29d2c Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Sat, 7 Apr 2012 11:45:36 +0000
Subject: Added back the unittests to GetStarted, after Peter's recent fix.

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

(limited to 'www/GetStarted.html')

diff --git a/www/GetStarted.html b/www/GetStarted.html
index 6de3e429..db95e33a 100644
--- a/www/GetStarted.html
+++ b/www/GetStarted.html
@@ -198,7 +198,7 @@ runtime, which is built on top of the uClibc C library.
   <li>Run the regression suite to verify your build:
     <div class="instr">
       $ make check<br/>
-<!--      $ make unittests<br/>-->
+      $ make unittests<br/>
     </div>
   </li>
 
-- 
cgit 1.4.1