Index: src/SynTree/TypeSubstitution.cc
===================================================================
--- src/SynTree/TypeSubstitution.cc	(revision 262f085f5bcbf8161e794c370badc1a66ccb3991)
+++ src/SynTree/TypeSubstitution.cc	(revision 2c9ebabd500b086aeb45d01caed3a928fad5b3c2)
@@ -166,11 +166,11 @@
 			boundVars.insert( (*tyvar )->get_name() );
 		} // for
-	} // if
-	// bind type variables from generic type instantiations
-	std::list< TypeDecl* > *baseParameters = type->get_baseParameters();
-	if ( baseParameters && ! type->get_parameters().empty() ) {
-		for ( std::list< TypeDecl* >::const_iterator tyvar = baseParameters->begin(); tyvar != baseParameters->end(); ++tyvar ) {
-			boundVars.insert( (*tyvar)->get_name() );
-		} // for
+		// bind type variables from generic type instantiations
+		std::list< TypeDecl* > *baseParameters = type->get_baseParameters();
+		if ( baseParameters && ! type->get_parameters().empty() ) {
+			for ( std::list< TypeDecl* >::const_iterator tyvar = baseParameters->begin(); tyvar != baseParameters->end(); ++tyvar ) {
+				boundVars.insert( (*tyvar)->get_name() );
+			} // for
+		} // if
 	} // if
 	Type *ret = Mutator::mutate( type );