From 524405593099a25626ed1695c67b30ac837740c7 Mon Sep 17 00:00:00 2001 From: kroening Date: Thu, 12 Jun 2014 21:25:33 +0000 Subject: [PATCH] add internal addtions back in git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@3992 6afb6bc1-c8e4-404c-8f48-9ae832c5b171 --- src/ansi-c-with-declarators/ansi_c_language.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/ansi-c-with-declarators/ansi_c_language.cpp b/src/ansi-c-with-declarators/ansi_c_language.cpp index 1740d40ae9..c7cd23e208 100644 --- a/src/ansi-c-with-declarators/ansi_c_language.cpp +++ b/src/ansi-c-with-declarators/ansi_c_language.cpp @@ -122,7 +122,7 @@ bool ansi_c_languaget::parse( // parsing std::string code; - //ansi_c_internal_additions(code); + ansi_c_internal_additions(code); std::istringstream codestr(code); ansi_c_parser.clear(); @@ -161,9 +161,9 @@ bool ansi_c_languaget::parse( ansi_c_scanner_init(); - bool result; //=ansi_c_parser.parse(); + bool result=ansi_c_parser.parse(); - //if(!result) + if(!result) { ansi_c_parser.set_line_no(0); ansi_c_parser.set_file(path);