Index: src/Parser/TypedefTable.cc
===================================================================
--- src/Parser/TypedefTable.cc	(revision c3e44e6a5d368d26efe670da02c06e14a08d5125)
+++ src/Parser/TypedefTable.cc	(revision 4612bb06a5671360f9b7084782e556a29aa661b6)
@@ -91,5 +91,5 @@
 
 void TypedefTable::enterScope() {
-	kindTable.beginScope();
+	kindTable.beginScope(0);
 	debugPrint( cerr << "Entering scope " << kindTable.currentScope() << endl; print() );
 } // TypedefTable::enterScope
Index: src/Parser/TypedefTable.h
===================================================================
--- src/Parser/TypedefTable.h	(revision c3e44e6a5d368d26efe670da02c06e14a08d5125)
+++ src/Parser/TypedefTable.h	(revision 4612bb06a5671360f9b7084782e556a29aa661b6)
@@ -25,6 +25,7 @@
 	typedef ScopedMap< std::string, int, int > KindTable;
 	KindTable kindTable;	
-	unsigned int level = 0;
+	unsigned int level;
   public:
+    TypedefTable() : kindTable{0}, level{0} {}
 	~TypedefTable();