Fixed all /*@i...@*/ tags (except 1).

[splint.git] / src / signature.c.der

diff --git a/src/signature.c.der b/src/signature.c.der
index 58c0f2139121a4c0c173ad9b9a1a3ea7b26aa688..2df1fc492e2f2553e8f266c72c93e29998a7580b 100644 (file)
--- a/src/signature.c.der
+++ b/src/signature.c.der
@@ -48,6 +48,10 @@
 
 /*drl added 11/27/2001*/
 /*@-bounds@*/
+
+/*drl added 12/11/2002*/
+/*@-type@*/
+
 /* < end of bison.head > */
 
 /* A Bison parser, made from signature.y
@@ -112,7 +116,7 @@
 
 # include <stdio.h>
 # include "splintMacros.nf"
-# include "llbasic.h"
+# include "basic.h"
 # include "lslparse.h"
 # include "signature.h"
 
@@ -229,10 +233,10 @@ static const short yyrhs[] =
 /* YYRLINE[YYN] -- source line where rule number YYN was defined. */
 static const short yyrline[] =
 {
-       0,   139,   141,   146,   150,   156,   158,   162,   164,   166,
-     168,   170,   172,   174,   176,   178,   181,   184,   187,   190,
-     193,   196,   201,   206,   208,   210,   213,   215,   218,   220,
-     223,   225,   228,   231,   233,   236,   238,   241,   247
+       0,   139,   142,   147,   152,   159,   161,   166,   168,   170,
+     172,   174,   176,   178,   180,   182,   185,   188,   191,   194,
+     197,   200,   205,   210,   212,   214,   218,   220,   224,   226,
+     230,   232,   236,   240,   242,   246,   248,   252,   259
 };
 #endif
 
@@ -1531,3 +1535,6 @@ extern void PrintToken (ltoken tok) {
 
 /*drl added 11/27/2001*/
 /*@=bounds@*/
+
+/*drl added 12/11/2002*/
+/*@=type@*/