Index: tools/prettyprinter/ParserTypes.h
===================================================================
--- tools/prettyprinter/ParserTypes.h	(revision 52a90045acf5a81e6b419c6be5b7276f78d78ae0)
+++ tools/prettyprinter/ParserTypes.h	(revision f196351459b11bf18eaef663d78e23d30f044ddd)
@@ -13,10 +13,9 @@
 // Created On       : Sun Dec 16 15:00:49 2001
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Jun 28 22:59:27 2017
-// Update Count     : 174
+// Last Modified On : Sat Jul 22 10:13:09 2017
+// Update Count     : 175
 // 
 
-#ifndef __PARSER_HH__
-#define __PARSER_HH__
+#pragma once
 
 int yylex();
@@ -26,6 +25,4 @@
 #include "token.h"
 
-#endif // __PARSER_HH__
-
 // Local Variables: //
 // mode: c++ //
Index: tools/prettyprinter/filter.h
===================================================================
--- tools/prettyprinter/filter.h	(revision 52a90045acf5a81e6b419c6be5b7276f78d78ae0)
+++ tools/prettyprinter/filter.h	(revision f196351459b11bf18eaef663d78e23d30f044ddd)
@@ -10,10 +10,9 @@
 // Created On       : Tue Apr  9 22:31:18 2002
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Jun 29 08:28:32 2017
-// Update Count     : 10
+// Last Modified On : Sat Jul 22 10:12:55 2017
+// Update Count     : 11
 // 
 
-#ifndef __FILTER_H__
-#define __FILTER_H__
+#pragma once
 
 #include "ParserTypes.h"
@@ -28,6 +27,4 @@
 void HTML( Token * tree );
 
-#endif // __FILTER_H__
-
 // Local Variables: //
 // mode: c++ //
Index: tools/prettyprinter/lex.ll
===================================================================
--- tools/prettyprinter/lex.ll	(revision 52a90045acf5a81e6b419c6be5b7276f78d78ae0)
+++ tools/prettyprinter/lex.ll	(revision f196351459b11bf18eaef663d78e23d30f044ddd)
@@ -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
  */
 
Index: tools/prettyprinter/test.y
===================================================================
--- tools/prettyprinter/test.y	(revision 52a90045acf5a81e6b419c6be5b7276f78d78ae0)
+++ tools/prettyprinter/test.y	(revision f196351459b11bf18eaef663d78e23d30f044ddd)
@@ -15,5 +15,7 @@
 	;
 
-rules1	: /* empty */
+rules1	:
+	/* empty */
+	{}
 	| xxx
 	  /* fred */ yyy
Index: tools/prettyprinter/token.cc
===================================================================
--- tools/prettyprinter/token.cc	(revision 52a90045acf5a81e6b419c6be5b7276f78d78ae0)
+++ tools/prettyprinter/token.cc	(revision f196351459b11bf18eaef663d78e23d30f044ddd)
@@ -1,5 +1,7 @@
-//                              -*- Mode: C++ -*- 
 // 
-// Copyright (C) Peter A. Buhr 2017
+// 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.
 // 
 // Pretty Printer, Copyright (C) Richard C. Bilson and Rodolfo G. Esteves 2001
@@ -10,6 +12,6 @@
 // Created On       : Wed Jun 28 22:46:23 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Jun 29 09:33:49 2017
-// Update Count     : 9
+// Last Modified On : Fri Jul 21 23:07:04 2017
+// Update Count     : 10
 // 
 
Index: tools/prettyprinter/token.h
===================================================================
--- tools/prettyprinter/token.h	(revision 52a90045acf5a81e6b419c6be5b7276f78d78ae0)
+++ tools/prettyprinter/token.h	(revision f196351459b11bf18eaef663d78e23d30f044ddd)
@@ -10,10 +10,9 @@
 // Created On       : Wed Jun 28 22:47:58 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Jun 28 23:02:06 2017
-// Update Count     : 5
+// Last Modified On : Sat Jul 22 10:12:42 2017
+// Update Count     : 6
 // 
 
-#ifndef __TOKEN_H__
-#define __TOKEN_H__
+#pragma once
 
 struct Token {
@@ -35,6 +34,4 @@
 };
 
-#endif // __TOKEN_H__
-
 // Local Variables: //
 // tab-width: 4 //