Index: src/AST/TypeSubstitution.cpp
===================================================================
--- src/AST/TypeSubstitution.cpp	(revision c92bdcc6ef9bc5c1b005f67d1c9f428bb8bd2b4c)
+++ src/AST/TypeSubstitution.cpp	(revision ccfbfd90ab1713dc68c30f792b4a896c53587954)
@@ -5,5 +5,5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// TypeSubstitution.cc --
+// TypeSubstitution.cpp --
 //
 // Author           : Richard C. Bilson