Modified the doc/Makefile.am so that the man page is install under make install.

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

diff --git a/src/Headers/globals.h b/src/Headers/globals.h
index 3d224742bd92cfd02443a5999f457b3595ee87bb..da374fe952db5d4b860a5de81fa20460a95c4abb 100644 (file)
--- a/src/Headers/globals.h
+++ b/src/Headers/globals.h
@@ -19,13 +19,15 @@ extern /*:open:*/ FILE *g_msgstream;
 /*@-redecl@*/
 /*@-incondefs@*/ 
 /*@-namechecks@*/
-extern /*@dependent@*/ /*:open:*/ FILE *yyin;
-extern /*@dependent@*/ /*:open:*/ FILE *yyout;
-extern int yyleng;
+/*@-declundef@*/ /* Might not process grammar files */
+extern /*@dependent@*/ /*@open@*/ FILE *yyin;
+extern /*@dependent@*/ /*@open@*/ /*@unused@*/ FILE *yyout;
+extern /*@unused@*/ int yyleng;
 /*@=incondefs@*/ 
 
 extern int yydebug;
 /*@=redecl@*/
+/*@=declundef@*/
 /*@=namechecks@*/
 
 extern /*@observer@*/ cstring g_codeFile;