Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision ba4a1d8c09106fcb307f09f287e5b399769b864c)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision 642bc8337f1daad8ffe4937360de682bc679d6fe)
@@ -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
 
-extern bool resolvep;
 #define PRINT( text ) if ( resolvep ) { text }
 //#define DEBUG_COST