Index: doc/papers/concurrency/examples/ProdCons.cfa
===================================================================
--- doc/papers/concurrency/examples/ProdCons.cfa	(revision 386e710d28fdcd40126dddef63f83ee4be5784df)
+++ doc/papers/concurrency/examples/ProdCons.cfa	(revision f8cd310f8a2e04f07eba9dbf60597d9236e4932f)
@@ -73,5 +73,4 @@
 // Local Variables: //
 // tab-width: 4 //
-// fill-column: 120 //
-// compile-command: "cfa ProdCons.c" //
+// compile-command: "cfa ProdCons.cfa" //
 // End: //