From f1b9d5d45886d7c989f14a57fcc0851b8b219917 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Thu, 28 Jul 2011 13:02:30 +0000
Subject: Added two publications from EPFL, fixed a typo.

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

(limited to 'www/klee-dev.html')

diff --git a/www/klee-dev.html b/www/klee-dev.html
index 3c5b663e..d507466c 100644
--- a/www/klee-dev.html
+++ b/www/klee-dev.html
@@ -23,7 +23,7 @@
   
   <p>However, before doing so, please check <a href="
   http://www.mail-archive.com/klee-dev@keeda.stanford.edu/">klee-dev's
-  searchable archive<a/> to see you your question has already been
+  searchable archive<a/> to see if your question has already been
   answered.</p>
 
 </div>
-- 
cgit 1.4.1