Index: src/SynTree/Declaration.h
===================================================================
--- src/SynTree/Declaration.h	(revision cd6a6ffee16b2e0915b5be3211ed86e60fd011e9)
+++ src/SynTree/Declaration.h	(revision 6a45bd78e92f655b09a86343cc1f6bc004cd951d)
@@ -181,5 +181,4 @@
   public:
 	Type * base;
-	std::list< TypeDecl * > parameters;
 	std::list< DeclarationWithType * > assertions;
 
@@ -190,5 +189,4 @@
 	Type * get_base() const { return base; }
 	void set_base( Type * newValue ) { base = newValue; }
-	std::list< TypeDecl* > & get_parameters() { return parameters; }
 	std::list< DeclarationWithType * >& get_assertions() { return assertions; }
 
Index: src/SynTree/NamedTypeDecl.cc
===================================================================
--- src/SynTree/NamedTypeDecl.cc	(revision cd6a6ffee16b2e0915b5be3211ed86e60fd011e9)
+++ src/SynTree/NamedTypeDecl.cc	(revision 6a45bd78e92f655b09a86343cc1f6bc004cd951d)
@@ -29,5 +29,4 @@
 NamedTypeDecl::NamedTypeDecl( const NamedTypeDecl &other )
 	: Parent( other ), base( maybeClone( other.base ) ) {
-	cloneAll( other.parameters, parameters );
 	cloneAll( other.assertions, assertions );
 }
@@ -35,5 +34,4 @@
 NamedTypeDecl::~NamedTypeDecl() {
 	delete base;
-	deleteAll( parameters );
 	deleteAll( assertions );
 }
@@ -56,8 +54,4 @@
 		base->print( os, indent+1 );
 	} // if
-	if ( ! parameters.empty() ) {
-		os << endl << indent << "... with parameters" << endl;
-		printAll( parameters, os, indent+1 );
-	} // if
 	if ( ! assertions.empty() ) {
 		os << endl << indent << "... with assertions" << endl;
@@ -76,8 +70,4 @@
 		base->print( os, indent+1 );
 	} // if
-	if ( ! parameters.empty() ) {
-		os << endl << indent << "... with parameters" << endl;
-		printAll( parameters, os, indent+1 );
-	} // if
 }