Index: src/ResolvExpr/RenameVars.cc
===================================================================
--- src/ResolvExpr/RenameVars.cc	(revision 40404257da8f22441f6123bdbff37bdb54e0e5f3)
+++ src/ResolvExpr/RenameVars.cc	(revision 205ee4e541dc5f5bd22d09ac8bebb2ae7b728b99)
@@ -45,7 +45,5 @@
 	void RenameVars::visit( PointerType *pointerType ) {
 		typeBefore( pointerType );
-///   std::cout << "do pointer" << std::endl;
 		maybeAccept( pointerType->get_base(), *this );
-///   std::cout << "done pointer" << std::endl;
 		typeAfter( pointerType );
 	}
@@ -60,9 +58,6 @@
 	void RenameVars::visit( FunctionType *functionType ) {
 		typeBefore( functionType );
-///   std::cout << "return vals" << std::endl;
 		acceptAll( functionType->get_returnVals(), *this );
-///   std::cout << functionType->get_parameters().size() << " parameters" << std::endl;
 		acceptAll( functionType->get_parameters(), *this );
-///   std::cout << "done function" << std::endl;
 		typeAfter( functionType );
 	}
@@ -95,11 +90,8 @@
 	void RenameVars::visit( TypeInstType *instType ) {
 		typeBefore( instType );
-///   std::cout << "instance of type " << instType->get_name() << std::endl;
 		std::map< std::string, std::string >::const_iterator i = mapStack.front().find( instType->get_name() );
 		if ( i != mapStack.front().end() ) {
-///     std::cout << "found name " << i->second << std::endl;
 			instType->set_name( i->second );
 		} else {
-///     std::cout << "no name found" << std::endl;
 		} // if
 		acceptAll( instType->get_parameters(), *this );
@@ -120,7 +112,4 @@
 	void RenameVars::typeBefore( Type *type ) {
 		if ( ! type->get_forall().empty() ) {
-///     std::cout << "type with forall: ";
-///     type->print( std::cout );
-///     std::cout << std::endl;
 			// copies current name mapping into new mapping
 			mapStack.push_front( mapStack.front() );