replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

add internal addtions back in 

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@3992 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
This commit is contained in:
kroening 2014-06-12 21:25:33 +00:00
parent 13a2977212
commit 5244055930
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/ansi-c-with-declarators/ansi_c_language.cpp
View File

@ -122,7 +122,7 @@ bool ansi_c_languaget::parse(
// parsing // parsing
std::string code; std::string code;
//ansi_c_internal_additions(code); ansi_c_internal_additions(code);
std::istringstream codestr(code); std::istringstream codestr(code);
ansi_c_parser.clear(); ansi_c_parser.clear();
@ -161,9 +161,9 @@ bool ansi_c_languaget::parse(
ansi_c_scanner_init(); 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_line_no(0);
ansi_c_parser.set_file(path); ansi_c_parser.set_file(path);