From 99da0abc894f5cc6d4b6ec308713c07273e600e3 Mon Sep 17 00:00:00 2001
From: kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>
Date: Sun, 15 Jun 2014 20:51:59 +0000
Subject: [PATCH] bug for now

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

diff --git a/regression/cbmc/gcc_statement_expression4/test.desc b/regression/cbmc/gcc_statement_expression4/test.desc
index 9c96469df1..a27d6e3414 100644
--- a/regression/cbmc/gcc_statement_expression4/test.desc
+++ b/regression/cbmc/gcc_statement_expression4/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 main.c
 
 ^EXIT=0$