Index: src/examples/ctxts.c
===================================================================
--- src/examples/ctxts.c	(revision 843054c23fcb725d2486e5e42e91b3741bc523b8)
+++ src/examples/ctxts.c	(revision 76b48f10023ecff298f81e17b71dea4d7de979cf)
@@ -1,9 +1,29 @@
+//
+// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
+//
+// The contents of this file are covered under the licence agreement in the
+// file "LICENCE" distributed with Cforall.
+//
+// ctxts.c -- 
+//
+// Author           : Richard C. Bilson
+// Created On       : Wed May 27 17:56:53 2015
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed May 27 18:11:19 2015
+// Update Count     : 2
+//
+
 context has_f( type T ) {
-    T f( T );
+	T f( T );
 };
 
 context has_g( type U | has_f( U ) ) {
-    U g( U );
+	U g( U );
 };
 
 forall( type V | has_g( V ) ) void h( V );
+
+// Local Variables: //
+// tab-width: 4 //
+// compile-command: "cfa ctxts.c" //
+// End: //