Changes in src/Parser/TypeData.cc [6a45bd78:427854b]

File:

• src/Parser/TypeData.cc (modified) (1 diff)

src/Parser/TypeData.cc

@@ -900 +900 @@
                 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 );