[splint.git] / src / Headers / llgrammar.h

# ifndef LLGRAMMAR_H
# define LLGRAMMAR_H

# include "llgrammar_gen.h"

/*@-redecl@*/
extern void ylerror (char *p_s) /*@modifies *g_msgstream@*/ ;
/*@=redecl@*/

# else
# error "Multiple includes"
# endif
Commit	Line	Data
885824d3	1	# ifndef LLGRAMMAR_H
	2	# define LLGRAMMAR_H
	3
	4	# include "llgrammar_gen.h"
	5
	6	/@-redecl@/
	7	extern void ylerror (char p_s) /@modifies g_msgstream@/ ;
	8	/@=redecl@/
	9
	10	# else
	11	# error "Multiple includes"
	12	# endif