# include <stdio.h>
-# include "lclintMacros.nf"
+# include "splintMacros.nf"
# include "llbasic.h"
# include "lslparse.h"
# include "signature.h"
-void lslerror (char *);
+static void lslerror (char *);
+extern int lsllex ();
+
/*@dependent@*/ /*@null@*/ lslOp importedlslOp;
/*@-noparams@*/ /* Can't list params since YYSTYPE isn't defined yet. */
#if YYDEBUG != 0
static const short yyrline[] = { 0,
- 137, 139, 144, 148, 154, 156, 160, 162, 164, 166,
- 168, 170, 172, 174, 176, 179, 182, 185, 188, 191,
- 194, 199, 204, 206, 208, 211, 213, 216, 218, 221,
- 223, 226, 229, 231, 234, 236, 239, 245
+ 139, 141, 146, 150, 156, 158, 162, 164, 166, 168,
+ 170, 172, 174, 176, 178, 181, 184, 187, 190, 193,
+ 196, 201, 206, 208, 210, 213, 215, 218, 220, 223,
+ 225, 228, 231, 233, 236, 238, 241, 247
};
#endif
llfatalbug
(cstring_makeLiteral
("There has been a problem in the parser with LSL signatures. This is believed to result "
- "from a problem with bison v. 1.25. Please try rebuidling LCLint "
+ "from a problem with bison v. 1.25. Please try rebuidling Splint "
"using the pre-compiled grammar files by commenting out the "
"BISON= line in the top-level Makefile."));
}