Index: translator/ResolvExpr/AlternativeFinder.cc
===================================================================
--- translator/ResolvExpr/AlternativeFinder.cc	(revision 4bf529812249ca5fe41f98e56debf210638aa7e9)
+++ translator/ResolvExpr/AlternativeFinder.cc	(revision b87a5edee8b2aa6c36e184150ebd60baf4c64251)
@@ -25,6 +25,6 @@
 #include "utility.h"
 
-extern bool resolveVerbose;
-#define PRINT( text ) if ( resolveVerbose ) { text } 
+extern bool resolvep;
+#define PRINT( text ) if ( resolvep ) { text } 
 //#define DEBUG_COST