/*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
**
*/
extern ltokenCode yllex (void) /*@modifies internalState@*/ ;
+/*@-declundef@*/
extern bool g_inTypeDef;
+/*@=declundef@*/
extern /*@dependent@*/ /*@exposed@*/ ltoken LCLScanNextToken(void)
/*@modifies internalState@*/ ;