Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision 24ceace338f4f1639e2ade17a788415b9ff66184)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision 03656d15c8e3697d125787c0e6a2c0ae3f48fc7a)
@@ -42,5 +42,5 @@
 #include "SymTab/Indexer.h"        // for Indexer
 #include "SymTab/Mangler.h"        // for Mangler
-#include "SymTab/Validate.h"       // for validateType
+#include "SymTab/ValidateType.h"   // for validateType
 #include "SynTree/Constant.h"      // for Constant
 #include "SynTree/Declaration.h"   // for DeclarationWithType, TypeDecl, Dec...