Index: src/CodeGen/CodeGenerator.cc
===================================================================
--- src/CodeGen/CodeGenerator.cc	(revision 86f852bbdff57943d457ec5d43641a6f9deaddd4)
+++ src/CodeGen/CodeGenerator.cc	(revision ab4bff57905b7bbe2894e5eb4353fe8fdcebf61c)
@@ -287,11 +287,14 @@
 	void CodeGenerator::postvisit( TypeDecl * typeDecl ) {
 		assertf( ! genC, "TypeDecls should not reach code generation." );
-		output << typeDecl->genTypeString() << " " << typeDecl->get_name();
-		if ( typeDecl->get_kind() != TypeDecl::Any && typeDecl->get_sized() ) {
-			output << " | sized(" << typeDecl->get_name() << ")";
-		}
-		if ( ! typeDecl->get_assertions().empty() ) {
+		output << typeDecl->genTypeString() << " " << typeDecl->name;
+		if ( typeDecl->get_kind() != TypeDecl::Any && typeDecl->sized ) {
+			output << " | sized(" << typeDecl->name << ")";
+		}
+		if ( ! typeDecl->assertions.empty() ) {
 			output << " | { ";
-			genCommaList( typeDecl->get_assertions().begin(), typeDecl->get_assertions().end() );
+			for ( DeclarationWithType * assert :  typeDecl->assertions ) {
+				assert->accept( *visitor );
+				output << "; ";
+			}
 			output << " }";
 		}