From bc2c3938d857fded44288ad346e8a3c60726c30c Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Fri, 8 May 2009 18:02:24 +0000 Subject: More or less a test commit. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@71231 91177308-0d34-0410-b5e6-96231b3b80d8 --- www/index.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/www/index.html b/www/index.html index 2afd032f..636e109f 100644 --- a/www/index.html +++ b/www/index.html @@ -15,8 +15,8 @@

The klee Symbolic Virtual Machine

-

klee is a symbolic virtual machine built on top of the LLVM - compiler infrastructure.

+

klee is a symbolic virtual machine built on top of + the LLVM compiler infrastructure.

Stay tuned for more information on public availability. For now, there is some information available on -- cgit 1.4.1