Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision 825170d472d6683c67d48512ee5122fbca4bb397)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision d1e0979b5a6eaf7ce10f57d4a902814a7ef3a049)
@@ -49,5 +49,5 @@
 #include "typeops.h"               // for adjustExprType, polyCost, castCost
 
-extern bool resolvep;
+bool resolvep;
 #define PRINT( text ) if ( resolvep ) { text }
 //#define DEBUG_COST