Merge pull request #20 from tautschnig/parser-cleanup

Daniel Kroening · Daniel Kroening · commit f0e0c4076bda · 2016-05-30T10:33:17.000+01:00
Minor cleanup of the ansi-c parser: consistent use of init
diff --git a/src/ansi-c/ansi_c_language.cpp b/src/ansi-c/ansi_c_language.cpp
@@ -11,7 +11,6 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <fstream>
 
 #include <util/expr_util.h>
-#include <util/replace_symbol.h>
 #include <util/config.h>
 #include <util/get_base_name.h>
 
diff --git a/src/ansi-c/cprover_library.cpp b/src/ansi-c/cprover_library.cpp
@@ -9,7 +9,6 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <sstream>
 
 #include <util/config.h>
-#include <util/replace_symbol.h>
 
 #include "cprover_library.h"
 #include "ansi_c_language.h"
diff --git a/src/ansi-c/parser.y b/src/ansi-c/parser.y
@@ -1989,7 +1989,7 @@ type_name:
 initializer_opt:
         /* nothing */
         {
-          newstack($$);
+          init($$);
           stack($$).make_nil();
         }
         | '=' initializer
