diff --git a/src/ansi-c/ansi_c_language.cpp b/src/ansi-c/ansi_c_language.cpp
index 9bc9559beeb..1fa90f9a102 100644
--- 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
index 3db1c632448..79c4a662c15 100644
--- 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
index 4e404c94a3a..bcb7051f651 100644
--- a/src/ansi-c/parser.y
+++ b/src/ansi-c/parser.y
@@ -1983,7 +1983,7 @@ type_name:
 initializer_opt:
         /* nothing */
         {
-          newstack($$);
+          init($$);
           stack($$).make_nil();
         }
         | '=' initializer