Fixed problem with NULL being changed.

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

diff --git a/src/Headers/lclscan.h b/src/Headers/lclscan.h
index d51f3339388f1b570f2daf059ab3889956a11196..d890574e7443fc29fdf7dc58cea2d512092d40a4 100644 (file)
--- a/src/Headers/lclscan.h
+++ b/src/Headers/lclscan.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 **
 */
@@ -12,7 +12,9 @@
 
 extern ltokenCode yllex (void) /*@modifies internalState@*/ ;
 
+/*@-declundef@*/
 extern bool g_inTypeDef;
+/*@=declundef@*/
 
 extern /*@dependent@*/ /*@exposed@*/ ltoken LCLScanNextToken(void) 
    /*@modifies internalState@*/ ;