Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision 33a7b6db7e7a3b3fa85ef51cb227fdc43223b1fd)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision d9fa60af0bc172d6842f414cb608e0615d3582a5)
@@ -218,10 +218,7 @@
 		std::list< Declaration* > members;
 		aggInst->lookup( name, members );
-		TypeSubstitution sub = TypeSubstitution( aggInst->get_baseParameters()->begin(), aggInst->get_baseParameters()->end(), aggInst->get_parameters().begin() );
 		for ( std::list< Declaration* >::const_iterator i = members.begin(); i != members.end(); ++i ) {
 			if ( DeclarationWithType *dwt = dynamic_cast< DeclarationWithType* >( *i ) ) {
-				MemberExpr * memExpr = new MemberExpr( dwt, expr->clone() );
-				sub.apply( memExpr );
-				alternatives.push_back( Alternative( memExpr, env, newCost ) );
+				alternatives.push_back( Alternative( new MemberExpr( dwt, expr->clone() ), env, newCost ) );
 				renameTypes( alternatives.back().expr );
 			} else {