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

diff --git a/src/cgrammar.tab.h b/src/cgrammar.tab.h
index de3bb79..b2a59bb 100644
--- a/src/cgrammar.tab.h
+++ b/src/cgrammar.tab.h
@@ -196,17 +196,18 @@ typedef union
 #define	QNULLTERMINATED	430
 #define	QSETBUFFERSIZE	431
 #define	QBUFFERCONSTRAINT	432
-#define	QSETSTRINGLENGTH	433
-#define	QMAXSET	434
-#define	QMAXREAD	435
-#define	QTESTINRANGE	436
-#define	IDENTIFIER	437
-#define	NEW_IDENTIFIER	438
-#define	TYPE_NAME_OR_ID	439
-#define	CCONSTANT	440
-#define	ITER_NAME	441
-#define	ITER_ENDNAME	442
-#define	TYPE_NAME	443
+#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;