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

# ifndef LLGRAMMAR_H
# define LLGRAMMAR_H

# include "llgrammar_gen.h"

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

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