Changeset bf4fe05 for src/ResolvExpr/Unify.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/ResolvExpr/Unify.hpp (moved) (moved from src/ResolvExpr/Unify.h ) (2 diffs)

src/ResolvExpr/Unify.hpp

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// Unify.h --
+// Unify.hpp --
 //
 // Author           : Richard C. Bilson
@@ -18 +18 @@
 #include "AST/Node.hpp"             // for ptr
 #include "AST/TypeEnvironment.hpp"  // for TypeEnvironment, AssertionSet, OpenVarSet
-#include "WidenMode.h"              // for WidenMode
+#include "WidenMode.hpp"            // for WidenMode
 
 namespace ast {