Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision bb666f649c7489fc5da7103d9f3f6dd470486575)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision 598f50e631482d663e6fec6a88a01a10da3968a2)
@@ -680,5 +680,5 @@
 		OpenVarSet openVars;
 		AssertionSet resultNeed, resultHave;
-		TypeEnvironment resultEnv;
+		TypeEnvironment resultEnv( func.env );
 		makeUnifiableVars( funcType, openVars, resultNeed );
 		resultEnv.add( funcType->get_forall() ); // add all type variables as open variables now so that those not used in the parameter list are still considered open