Index: src/GenPoly/Box.cc
===================================================================
--- src/GenPoly/Box.cc	(revision 540de412b77591cc4fdbb16932060ef6229a3f1d)
+++ src/GenPoly/Box.cc	(revision 2e3a379da27d8529949c7d2ecd6acbacef29804c)
@@ -10,5 +10,5 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Mon May 02 14:49:01 2016
+// Last Modified On : Tue May 03 16:44:47 2016
 // Update Count     : 295
 //
@@ -1293,8 +1293,6 @@
 			} else if ( needsAdapter( function, scopeTyVars ) ) {
 				// std::cerr << "needs adapter: ";
-				// for ( TyVarMap::iterator i = scopeTyVars.begin(); i != scopeTyVars.end(); ++i ) {
-				// 	std::cerr << i->first << " ";
-				// }
-				// std::cerr << "\n";
+				// printTyVarMap( std::cerr, scopeTyVars );
+				// std::cerr << *env << std::endl;
 				// change the application so it calls the adapter rather than the passed function
 				ret = applyAdapter( appExpr, function, arg, scopeTyVars );