Index: src/Parser/TypeData.cc
===================================================================
--- src/Parser/TypeData.cc	(revision b2e0df3b43fc7a0c8e3a02bf57f4f45e97fbca4e)
+++ src/Parser/TypeData.cc	(revision 4468a7091814c2d7eba30d6aeef76298d814a716)
@@ -900,5 +900,4 @@
 		ret = new TypeDecl( name, scs, typebuild( td->base ), TypeDecl::Dtype, true );
 	} // if
-	buildList( td->symbolic.params, ret->get_parameters() );
 	buildList( td->symbolic.assertions, ret->get_assertions() );
 	ret->base->attributes.splice( ret->base->attributes.end(), attributes );