Remove empty configure file. This should not be in CVS.

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

diff --git a/src/Headers/signature_gen.h b/src/Headers/signature_gen.h
index 0e2ed834b54fb533d7a452d9103681ee8570bd52..9b23e6251a961b37529acb049ba4ca397891a001 100644 (file)
--- a/src/Headers/signature_gen.h
+++ b/src/Headers/signature_gen.h
@@ -48,6 +48,10 @@
 
 /*drl added 11/27/2001*/
 /*@-bounds@*/
+
+/*drl added 12/11/2002*/
+/*@-type@*/
+
 /* < end of bison.head > */
 
 #ifndef BISON_SIGNATURE_TAB_H
@@ -163,3 +167,6 @@ typedef union {
 
 /*drl added 11/27/2001*/
 /*@=bounds@*/
+
+/*drl added 12/11/2002*/
+/*@=type@*/