Index: src/GenPoly/InstantiateGeneric.cc
===================================================================
--- src/GenPoly/InstantiateGeneric.cc	(revision 7b5694da33510256b93c764421e1bea0be79d671)
+++ src/GenPoly/InstantiateGeneric.cc	(revision c042d79052e8b85f87eb194140ecd13bd3edae58)
@@ -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
Index: src/GenPoly/InstantiateGenericNew.cpp
===================================================================
--- src/GenPoly/InstantiateGenericNew.cpp	(revision 7b5694da33510256b93c764421e1bea0be79d671)
+++ src/GenPoly/InstantiateGenericNew.cpp	(revision c042d79052e8b85f87eb194140ecd13bd3edae58)
@@ -32,5 +32,5 @@
 #include "GenPoly/GenPoly.h"           // for isPolyType, typesPolyCompatible
 #include "GenPoly/ScrubTyVars.h"       // for scrubAll
-#include "ResolvExpr/typeops.h"        // for adjustExprType
+#include "ResolvExpr/AdjustExprType.hpp"  // for adjustExprType
 #include "ResolvExpr/Unify.h"          // for typesCompatible