X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/11ed4f45e321c24d9340dc277c54e1d2c9cd0046..ef2aa32aebac950c1784a2dd25f0fa299b8840da:/src/cgrammar.tab.h

diff --git a/src/cgrammar.tab.h b/src/cgrammar.tab.h
index 8f9715b..b2a59bb 100644
--- a/src/cgrammar.tab.h
+++ b/src/cgrammar.tab.h
@@ -195,14 +195,19 @@ typedef union
 #define	QSIGNEDINTEGRALTYPE	429
 #define	QNULLTERMINATED	430
 #define	QSETBUFFERSIZE	431
-#define	QSETSTRINGLENGTH	432
-#define	IDENTIFIER	433
-#define	NEW_IDENTIFIER	434
-#define	TYPE_NAME_OR_ID	435
-#define	CCONSTANT	436
-#define	ITER_NAME	437
-#define	ITER_ENDNAME	438
-#define	TYPE_NAME	439
+#define	QBUFFERCONSTRAINT	432
+#define	QENSURESCONSTRAINT	433
+#define	QSETSTRINGLENGTH	434
+#define	QMAXSET	435
+#define	QMAXREAD	436
+#define	QTESTINRANGE	437
+#define	IDENTIFIER	438
+#define	NEW_IDENTIFIER	439
+#define	TYPE_NAME_OR_ID	440
+#define	CCONSTANT	441
+#define	ITER_NAME	442
+#define	ITER_ENDNAME	443
+#define	TYPE_NAME	444
 
 
 extern YYSTYPE yylval;