Index: src/SymTab/Mangler.cc
===================================================================
--- src/SymTab/Mangler.cc	(revision 22b5b8745ff97930c9c9d737ff5931f7c02aca84)
+++ src/SymTab/Mangler.cc	(revision 2dda05dc482e5dd5d6074e405c5d8c0c5e35654e)
@@ -666,5 +666,5 @@
 			// skip if not including qualifiers
 			if ( typeMode ) return;
-			if ( auto ptype = dynamic_cast< const ast::ParameterizedType * >(type) ) {
+			if ( auto ptype = dynamic_cast< const ast::FunctionType * >(type) ) {
 				if ( ! ptype->forall.empty() ) {
 					std::list< std::string > assertionNames;
Index: src/SymTab/Validate.cc
===================================================================
--- src/SymTab/Validate.cc	(revision 22b5b8745ff97930c9c9d737ff5931f7c02aca84)
+++ src/SymTab/Validate.cc	(revision 2dda05dc482e5dd5d6074e405c5d8c0c5e35654e)
@@ -1793,5 +1793,5 @@
 		static const node_t * forallFixer(
 			const CodeLocation & loc, const node_t * node,
-			ast::ParameterizedType::ForallList parent_t::* forallField
+			ast::FunctionType::ForallList parent_t::* forallField
 		) {
 			for ( unsigned i = 0; i < (node->* forallField).size(); ++i ) {