Changeset bf4fe05 for src/AST/TypeSubstitution.hpp

Timestamp:

May 13, 2024, 7:07:06 AM (17 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

ca4f2b2

Parents:

ec20ab9 (diff), 5f225f5 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

fix merge

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"