From 4030c968dc8e3756594182f5841b942ffb545a8e Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Wed, 24 Feb 2016 10:31:17 +0000
Subject: [PATCH 1/2] Cleanup

---
 src/ansi-c/parser.y | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

From 1eeaf5cd694e2ab3a5748419e1e7a8512c38b88e Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <mt@debian.org>
Date: Thu, 31 Mar 2016 21:38:57 +0100
Subject: [PATCH 2/2] Removed unused include

---
 src/ansi-c/ansi_c_language.cpp | 1 -
 src/ansi-c/cprover_library.cpp | 1 -
 2 files changed, 2 deletions(-)

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"