Index: tools/prettyprinter/lex.ll
===================================================================
--- tools/prettyprinter/lex.ll	(revision 8c97ee7b0cbd7af6ac923a33e23f36a01868ba93)
+++ tools/prettyprinter/lex.ll	(revision ea6332d2c7319372654f557cb69ec651fdc92331)
@@ -1,4 +1,3 @@
-/*                               -*- Mode: C -*- 
- * 
+/* 
  * Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
  *
@@ -11,6 +10,6 @@
  * Created On       : Sat Dec 15 11:45:59 2001
  * Last Modified By : Peter A. Buhr
- * Last Modified On : Wed Jun 28 22:57:17 2017
- * Update Count     : 253
+ * Last Modified On : Fri Jul 21 23:06:16 2017
+ * Update Count     : 254
  */