Periodic commit

[splint.git] / src / signature.tab.h

diff --git a/src/signature.tab.h b/src/signature.tab.h
index f506633bfcc6a701303607622d13113e99690e2d..e70fb35096a2701830b9d2a4b4640f85dc6e926d 100644 (file)
--- a/src/signature.tab.h
+++ b/src/signature.tab.h
@@ -8,49 +8,49 @@ typedef union {
   /*@owned@*/ lslOp operator;
   /*@only@*/  lslOpList operators;
 } YYSTYPE;
-#define        LST_SIMPLEID    258
-#define        LST_LOGICALOP   259
-#define        LST_EQOP        260
-#define        LST_SIMPLEOP    261
-#define        LST_MAPSYM      262
-#define        LST_FIELDMAPSYM 263
-#define        LST_MARKERSYM   264
-#define        LST_ifTOKEN     265
-#define        LST_thenTOKEN   266
-#define        LST_elseTOKEN   267
-#define        LST_LBRACKET    268
-#define        LST_RBRACKET    269
-#define        LST_SELECTSYM   270
-#define        LST_SEPSYM      271
-#define        LST_OPENSYM     272
-#define        LST_CLOSESYM    273
-#define        LST_COLON       274
-#define        LST_COMMA       275
-#define        LST_EOL 276
-#define        LST_COMMENTSYM  277
-#define        LST_WHITESPACE  278
-#define        LST_QUANTIFIERSYM       279
-#define        LST_EQUATIONSYM 280
-#define        LST_EQSEPSYM    281
-#define        LST_COMPOSESYM  282
-#define        LST_LPAR        283
-#define        LST_RPAR        284
-#define        LST_assertsTOKEN        285
-#define        LST_assumesTOKEN        286
-#define        LST_byTOKEN     287
-#define        LST_convertsTOKEN       288
-#define        LST_enumerationTOKEN    289
-#define        LST_equationsTOKEN      290
-#define        LST_exemptingTOKEN      291
-#define        LST_forTOKEN    292
-#define        LST_generatedTOKEN      293
-#define        LST_impliesTOKEN        294
-#define        LST_includesTOKEN       295
-#define        LST_introducesTOKEN     296
-#define        LST_ofTOKEN     297
-#define        LST_partitionedTOKEN    298
-#define        LST_traitTOKEN  299
-#define        LST_tupleTOKEN  300
-#define        LST_unionTOKEN  301
-#define        LST_BADTOKEN    302
+#define        LST_SIMPLEID    257
+#define        LST_LOGICALOP   258
+#define        LST_EQOP        259
+#define        LST_SIMPLEOP    260
+#define        LST_MAPSYM      261
+#define        LST_FIELDMAPSYM 262
+#define        LST_MARKERSYM   263
+#define        LST_ifTOKEN     264
+#define        LST_thenTOKEN   265
+#define        LST_elseTOKEN   266
+#define        LST_LBRACKET    267
+#define        LST_RBRACKET    268
+#define        LST_SELECTSYM   269
+#define        LST_SEPSYM      270
+#define        LST_OPENSYM     271
+#define        LST_CLOSESYM    272
+#define        LST_COLON       273
+#define        LST_COMMA       274
+#define        LST_EOL 275
+#define        LST_COMMENTSYM  276
+#define        LST_WHITESPACE  277
+#define        LST_QUANTIFIERSYM       278
+#define        LST_EQUATIONSYM 279
+#define        LST_EQSEPSYM    280
+#define        LST_COMPOSESYM  281
+#define        LST_LPAR        282
+#define        LST_RPAR        283
+#define        LST_assertsTOKEN        284
+#define        LST_assumesTOKEN        285
+#define        LST_byTOKEN     286
+#define        LST_convertsTOKEN       287
+#define        LST_enumerationTOKEN    288
+#define        LST_equationsTOKEN      289
+#define        LST_exemptingTOKEN      290
+#define        LST_forTOKEN    291
+#define        LST_generatedTOKEN      292
+#define        LST_impliesTOKEN        293
+#define        LST_includesTOKEN       294
+#define        LST_introducesTOKEN     295
+#define        LST_ofTOKEN     296
+#define        LST_partitionedTOKEN    297
+#define        LST_traitTOKEN  298
+#define        LST_tupleTOKEN  299
+#define        LST_unionTOKEN  300
+#define        LST_BADTOKEN    301