Changeset c92bdcc for src/AST/TypeSubstitution.hpp

Timestamp:

May 10, 2024, 4:06:07 PM (3 weeks 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/AST/TypeSubstitution.hpp (modified) (2 diffs)

src/AST/TypeSubstitution.hpp

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// TypeSubstitution.h --
+// TypeSubstitution.hpp --
 //
 // Author           : Richard C. Bilson
@@ -16 +16 @@
 #pragma once
 
-#include <cassert>                 // for assert
-#include <list>                    // for list<>::iterator, _List_iterator
+#include <cassert>                   // for assert
+#include <list>                      // for list<>::iterator, _List_iterator
 #include <unordered_map>
 #include <unordered_set>
-#include <string>                  // for string, operator!=
-#include <utility>                 // for pair
+#include <string>                    // for string, operator!=
+#include <utility>                   // for pair
 
-#include "Fwd.hpp"        // for UniqueId
+#include "Fwd.hpp"                   // for UniqueId
 #include "ParseNode.hpp"
 #include "Type.hpp"
-#include "Common/SemanticError.h"  // for SemanticError
+#include "Common/SemanticError.hpp"  // for SemanticError
 #include "Visitor.hpp"
 #include "Decl.hpp"