Changes in src/GenPoly/Specialize.cpp [c92bdcc:83fd57d]

File:

• src/GenPoly/Specialize.cpp (modified) (2 diffs)

src/GenPoly/Specialize.cpp

@@ -14 +14 @@
 //
 
-#include "Specialize.hpp"
+#include "Specialize.h"
 
 #include "AST/Copy.hpp"                  // for deepCopy
@@ -20 +20 @@
 #include "AST/Pass.hpp"                  // for Pass
 #include "AST/TypeEnvironment.hpp"       // for OpenVarSet, AssertionSet
-#include "Common/UniqueName.hpp"         // for UniqueName
-#include "GenPoly/GenPoly.hpp"           // for getFunctionType
-#include "ResolvExpr/FindOpenVars.hpp"   // for findOpenVars
+#include "Common/UniqueName.h"           // for UniqueName
+#include "GenPoly/GenPoly.h"             // for getFunctionType
+#include "ResolvExpr/FindOpenVars.h"     // for findOpenVars
 
 namespace GenPoly {