Index: src/Parser/TypeData.cc
===================================================================
--- src/Parser/TypeData.cc	(revision c38ae927de4734c94eb69a436cca8cc25a347b02)
+++ src/Parser/TypeData.cc	(revision 1f37045134019dcc85ce9bbfe573c87275cfb714)
@@ -792,5 +792,5 @@
 
 
-NamedTypeDecl * buildSymbolic( const TypeData * td, const string & name, Type::StorageClasses scs, LinkageSpec::Spec linkage ) {
+NamedTypeDecl * buildSymbolic( const TypeData * td, std::list< Attribute * > attributes, const string & name, Type::StorageClasses scs, LinkageSpec::Spec linkage ) {
 	assert( td->kind == TypeData::Symbolic );
 	NamedTypeDecl * ret;
@@ -803,4 +803,5 @@
 	buildList( td->symbolic.params, ret->get_parameters() );
 	buildList( td->symbolic.assertions, ret->get_assertions() );
+	ret->base->attributes.splice( ret->base->attributes.end(), attributes );
 	return ret;
 } // buildSymbolic
@@ -866,5 +867,5 @@
 		return buildEnum( td, attributes, linkage );
 	} else if ( td->kind == TypeData::Symbolic ) {
-		return buildSymbolic( td, name, scs, linkage );
+		return buildSymbolic( td, attributes, name, scs, linkage );
 	} else {
 		return (new ObjectDecl( name, scs, linkage, bitfieldWidth, typebuild( td ), init, attributes ))->set_asmName( asmName );