*/
# include "splintMacros.nf"
-# include "llbasic.h"
+# include "basic.h"
# include "signature.h"
# include "signature2.h"
# include "scan.h"
unsigned int lsllex (YYSTYPE *lval)
{
/* This is important! Bison expects this */
- lval->ltok = LSLScanNextToken ();
- return (ltoken_getCode (lval->ltok));
+ /* splint doesn't know the type of YYSTYPE, so we need to ignore warnings here */
+ /*@i1@*/ lval->ltok = LSLScanNextToken ();
+ /*@i1@*/ return (ltoken_getCode (lval->ltok));
}
ltoken LSLScanNextToken (void)