Making fixes for Microsoft Visual C++ compiler.

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

diff --git a/src/Headers/lclscan.h b/src/Headers/lclscan.h
index 55d48e31e9fb0a9cd5915e08e740408e0758e231..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-2000.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 **
 */
@@ -12,16 +12,18 @@
 
 extern ltokenCode yllex (void) /*@modifies internalState@*/ ;
 
+/*@-declundef@*/
 extern bool g_inTypeDef;
+/*@=declundef@*/
 
 extern /*@dependent@*/ /*@exposed@*/ ltoken LCLScanNextToken(void) 
    /*@modifies internalState@*/ ;
 extern void LCLScanFreshToken(/*@only@*/ ltoken p_tok) 
    /*@modifies internalState@*/ ;
 
-extern /*@exposed@*/ tsource *LCLScanSource(void) /*@*/ ;
+extern /*@exposed@*/ inputStream LCLScanSource(void) /*@*/ ;
 extern void LCLScanInit(void) /*@modifies internalState@*/ ;
-extern void LCLScanReset(tsource *p_s) /*@modifies internalState@*/ ;
+extern void LCLScanReset(inputStream p_s) /*@modifies internalState@*/ ;
 extern void LCLScanCleanup(void) /*@modifies internalState@*/ ;
 
 # else