Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision bb666f649c7489fc5da7103d9f3f6dd470486575)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision b226721fbecb294b66efe16f98de17dc3e00bbbe)
@@ -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