From d0ad22fc79c3efa8bdc5d358ec3596163a47bacb Mon Sep 17 00:00:00 2001
From: kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>
Date: Mon, 10 Sep 2012 16:17:02 +0000
Subject: [PATCH] more

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@1585 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
---
 regression/cbmc/complex1/test.desc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/regression/cbmc/complex1/test.desc b/regression/cbmc/complex1/test.desc
index aea17ee4da..9efefbc736 100644
--- a/regression/cbmc/complex1/test.desc
+++ b/regression/cbmc/complex1/test.desc
@@ -1,4 +1,4 @@
-FUTURE
+CORE
 main.c
 
 ^EXIT=0$