Changeset c92bdcc for src/Tuples/Explode.hpp

Timestamp:

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

src/Tuples/Explode.hpp

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// Explode.h --
+// Explode.hpp --
 //
 // Author           : Rob Schluntz
@@ -22 +22 @@
 #include "ResolvExpr/Candidate.hpp"     // for Candidate, CandidateList
 #include "ResolvExpr/ExplodedArg.hpp"   // for ExplodedArg
-#include "Tuples.h"                     // for maybeImpure
+#include "Tuples.hpp"                   // for maybeImpure
 
 namespace ast {