Changeset c92bdcc for src/GenPoly/Specialize.cpp

Timestamp:

May 10, 2024, 4:06:07 PM (5 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

0f612d2

Parents:

41c8312

Message:

Updated the rest of the names in src/ (except for the generated files).

File:

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

src/GenPoly/Specialize.cpp

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