Index: src/ResolvExpr/Resolver.cc
===================================================================
--- src/ResolvExpr/Resolver.cc	(revision 8587878e06a1508206324c71c2ca3e9004ba7e31)
+++ src/ResolvExpr/Resolver.cc	(revision 7f59bb345a8462c2117878ca56ebb1c782675845)
@@ -132,5 +132,5 @@
 
 	void findVoidExpression( Expression *& untyped, const SymTab::Indexer &indexer ) {
-		global_renamer.reset();
+		resetTyVarRenaming();
 		TypeEnvironment env;
 		Expression *newExpr = resolveInVoidContext( untyped, indexer, env );