/*drl added 11/27/2001*/
/*@-bounds@*/
+
+/*drl added 12/11/2002*/
+/*@-type@*/
+
/* < end of bison.head > */
/* A Bison parser, made from mtgrammar.y
# include "bison.reset"
# include "splintMacros.nf"
-# include "llbasic.h"
+# include "basic.h"
# ifndef S_SPLINT_S
extern ctype mtscanner_lookupType (mttok p_tok) /*@modifies p_tok@*/ ;
/*drl added 11/27/2001*/
/*@=bounds@*/
+
+/*drl added 12/11/2002*/
+/*@=type@*/