/*
-** 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.
**
*/
# ifndef MTSCANNER_H
# define MTSCANNER_H
+/*@-declundef@*/
extern void mtscanner_reset (inputStream p_sourceFile)
/*@modifies internalState@*/ ;
extern ctype mtscanner_lookupType (mttok p_tok) /*@modifies p_tok@*/ ;
/* Can steal p_tok's location. */
+/*@=declundef@*/
# else
# error "Multiple include"