Added manual files

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

diff --git a/src/Headers/lslparse.h b/src/Headers/lslparse.h
index 1915b71470a8670c30df628a0bfb4faa47fee57b..4868d27b5a379950bc85ab8bb9dd53816a28b5d9 100644 (file)
--- a/src/Headers/lslparse.h
+++ b/src/Headers/lslparse.h
@@ -10,9 +10,9 @@
 extern /*@dependent@*/ /*@null@*/ lslOp g_importedlslOp;
 extern bool g_lslParsingTraits;
 
-/*@-namechecks@*/
+/*@-namechecks@*/ /*@-declundef@*/
 extern int lsldebug; /* defined by bison (not a bool) */
-/*@=namechecks@*/
+/*@=namechecks@*/ /*@=declundef@*/
 
 extern lsymbol processTraitSortId (lsymbol p_sortid); 
 extern int parseSignatures (/*@only@*/ cstring p_infile);