Committing to make sure that the ./configure works.

[splint.git] / src / Headers / signature_gen.h

diff --git a/src/Headers/signature_gen.h b/src/Headers/signature_gen.h
index 9b23e6251a961b37529acb049ba4ca397891a001..6e3249a3e81b3deb2021de892cce8fb21e385e10 100644 (file)
--- a/src/Headers/signature_gen.h
+++ b/src/Headers/signature_gen.h
@@ -54,10 +54,6 @@
 
 /* < end of bison.head > */
 
-#ifndef BISON_SIGNATURE_TAB_H
-# define BISON_SIGNATURE_TAB_H
-
-#ifndef YYSTYPE
 typedef union {
   ltoken ltok;  /* a leaf is also an ltoken */
   unsigned int count;
@@ -68,58 +64,53 @@ typedef union {
   /*@owned@*/ lslOp operator;
   /*@only@*/  lslOpList operators;
   /*@-redef@*/ /*@-matchfields@*/ 
-} yystype;
-# define YYSTYPE yystype
-# define YYSTYPE_IS_TRIVIAL 1
-#endif
-# 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
-
+} YYSTYPE;
+#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
 
-#endif /* not BISON_SIGNATURE_TAB_H */
 /*
 ** Resets all flags in bison.head
 */