Changes in tools/prettyprinter/parser.yy [8c97ee7:fc1ef62]

File:

• tools/prettyprinter/parser.yy (modified) (3 diffs)

tools/prettyprinter/parser.yy

@@ -10 +10 @@
 // Created On       : Sat Dec 15 13:44:21 2001
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Jun 29 09:26:47 2017
-// Update Count     : 1045
+// Last Modified On : Tue Aug 29 16:34:10 2017
+// Update Count     : 1047
 // 
 
@@ -67 +67 @@
 %token<tokenp>  RIGHT                                                                   // %right
 %token<tokenp>  NONASSOC                                                                // %nonassoc
+%token<tokenp>  PRECEDENCE                                                              // %precedence
 %token<tokenp>  TYPE                                                                    // %type
 %token<tokenp>  PURE_PARSER                                                             // %pure_parser
@@ -259 +260 @@
         | RIGHT
         | NONASSOC
+        | PRECEDENCE
         ;