Index: src/include/optional
===================================================================
--- src/include/optional	(revision b4d34fade661c0bcb231bb461443b11ed0058c72)
+++ src/include/optional	(revision df699e080a754d9c4714ee9fe19c05edccc9bbad)
@@ -5,5 +5,5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// optional.h --
+// optional --
 //
 // Author           : Michael L. Brooks