Index: src/GenPoly/InstantiateGeneric.cc
===================================================================
--- src/GenPoly/InstantiateGeneric.cc	(revision e563edf0e794d4c67e735b589a1c95f7fce848f6)
+++ src/GenPoly/InstantiateGeneric.cc	(revision 24d6572fc571b2a894d56a9335edd57899c448c0)
@@ -28,5 +28,5 @@
 #include "GenPoly.h"                   // for isPolyType, typesPolyCompatible
 #include "InitTweak/InitTweak.h"
-#include "ResolvExpr/typeops.h"        // for adjustExprType
+#include "ResolvExpr/AdjustExprType.hpp"  // for adjustExprType
 #include "ResolvExpr/Unify.h"          // for typesCompatible
 #include "ScopedSet.h"                 // for ScopedSet, ScopedSet<>::iterator
