From 2f6fcff554faef854a6fc48eb44c4feb3e7125b0 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Mon, 4 Oct 2010 19:37:11 +0000
Subject: Regenerate.

---
 klee/configure | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'klee/configure')

diff --git a/klee/configure b/klee/configure
index 20fa904693a..353649f3c8c 100755
--- a/klee/configure
+++ b/klee/configure
@@ -2173,8 +2173,8 @@ if test X"${withval}" = Xdefault; then
 fi
 
 if !(test $llvm_version_major == 2 &&
-    test $llvm_version_minor -lt 8 &&
-    test "$with_runtime" == "Release"); then
+    test $llvm_version_minor -lt 8) &&
+    test "$with_runtime" == "Release"; then
   with_runtime=Release+Asserts
 fi
 
-- 
cgit v1.2.3