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