Changeset c92bdcc for src/InitTweak/GenInit.hpp

Timestamp:

May 10, 2024, 4:06:07 PM (2 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/InitTweak/GenInit.hpp (moved) (moved from src/InitTweak/GenInit.h) (2 diffs)

src/InitTweak/GenInit.hpp

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// GenInit.h -- Generate initializers, and other stuff.
+// GenInit.hpp -- Generate initializers, and other stuff.
 //
 // Author           : Rodolfo G. Esteves
@@ -20 +20 @@
 
 #include "AST/Fwd.hpp"
-#include "Common/CodeLocation.h"
-#include "GenPoly/ScopedSet.h" // for ScopedSet
+#include "Common/CodeLocation.hpp"
+#include "GenPoly/ScopedSet.hpp"   // for ScopedSet
 
 namespace InitTweak {