Index: src/ResolvExpr/AdjustExprType.cpp
===================================================================
--- src/ResolvExpr/AdjustExprType.cpp	(revision 0f612d22e304288d5575379f38cb245443b974b8)
+++ src/ResolvExpr/AdjustExprType.cpp	(revision 5f225f59101d268668c9c4862e607c9573860bfb)
@@ -5,5 +5,5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// AdjustExprType_old.cc --
+// AdjustExprType.cpp --
 //
 // Author           : Richard C. Bilson
Index: src/ResolvExpr/PolyCost.cpp
===================================================================
--- src/ResolvExpr/PolyCost.cpp	(revision 0f612d22e304288d5575379f38cb245443b974b8)
+++ src/ResolvExpr/PolyCost.cpp	(revision 5f225f59101d268668c9c4862e607c9573860bfb)
@@ -5,5 +5,5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// PolyCost.cc --
+// PolyCost.cpp --
 //
 // Author           : Richard C. Bilson
Index: src/ResolvExpr/PtrsAssignable.cpp
===================================================================
--- src/ResolvExpr/PtrsAssignable.cpp	(revision 0f612d22e304288d5575379f38cb245443b974b8)
+++ src/ResolvExpr/PtrsAssignable.cpp	(revision 5f225f59101d268668c9c4862e607c9573860bfb)
@@ -5,5 +5,5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// PtrsAssignable.cc --
+// PtrsAssignable.cpp --
 //
 // Author           : Richard C. Bilson
Index: src/ResolvExpr/PtrsCastable.cpp
===================================================================
--- src/ResolvExpr/PtrsCastable.cpp	(revision 0f612d22e304288d5575379f38cb245443b974b8)
+++ src/ResolvExpr/PtrsCastable.cpp	(revision 5f225f59101d268668c9c4862e607c9573860bfb)
@@ -5,5 +5,5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// PtrsCastable.cc --
+// PtrsCastable.cpp --
 //
 // Author           : Richard C. Bilson
Index: src/ResolvExpr/SpecCost.cpp
===================================================================
--- src/ResolvExpr/SpecCost.cpp	(revision 0f612d22e304288d5575379f38cb245443b974b8)
+++ src/ResolvExpr/SpecCost.cpp	(revision 5f225f59101d268668c9c4862e607c9573860bfb)
@@ -5,5 +5,5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// SpecCost.cc --
+// SpecCost.cpp --
 //
 // Author           : Aaron B. Moss