*** empty log message ***

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

diff --git a/src/Headers/scan.h b/src/Headers/scan.h
index 85990f9b7e697e4e8b4bc22c14a6ff2005c29782..fab57f108a60a8272a3542e9989d3bcc27a08642 100644 (file)
--- a/src/Headers/scan.h
+++ b/src/Headers/scan.h
@@ -11,7 +11,7 @@
 extern unsigned int lsllex (YYSTYPE *p_lval);
 /*@=redecl@*/ /*@=type@*/ /*@=incondefs@*/
 
-extern ltoken LSLScanNextToken(void) /*@modifies internalState@*/ ;           
+extern /*@only@*/ ltoken LSLScanNextToken(void) /*@modifies internalState@*/ ;        
 extern void LSLScanFreshToken(ltoken p_tok) /*@modifies internalState@*/ ;
 extern /*@exposed@*/ inputStream LSLScanSource (void) /*@*/ ;     
 extern void LSLScanInit (void) /*@modifies internalState@*/ ;