Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision d1e0979b5a6eaf7ce10f57d4a902814a7ef3a049)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision b32ad080aa519a2c377a801f16446d5c38a9fcfe)
@@ -25,4 +25,5 @@
 #include <vector>                  // for vector
 
+#include "CompilationState.h"      // for resolvep
 #include "Alternative.h"           // for AltList, Alternative
 #include "AlternativeFinder.h"
@@ -49,5 +50,4 @@
 #include "typeops.h"               // for adjustExprType, polyCost, castCost
 
-bool resolvep;
 #define PRINT( text ) if ( resolvep ) { text }
 //#define DEBUG_COST