Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision ba4a1d8c09106fcb307f09f287e5b399769b864c)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision 3bbd012db7d31fbae91c1a4295090ad11eb8ec96)
@@ -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