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

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

diff --git a/configure b/configure
index 20fa9046..353649f3 100755
--- a/configure
+++ b/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 1.4.1