Making changes to try to support loops.

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

diff --git a/src/cgrammar.tab.h b/src/cgrammar.tab.h
index de3bb7987cf30862f8afdf3f96908577f092b498..b2a59bb83683e051f897fb16bba5b34b6d5a20cd 100644 (file)
--- 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;