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
	1	# ifndef LLGRAMMAR_H
	2	# define LLGRAMMAR_H
	3
	4	# include "llgrammar_gen.h"
	5
	6	/@-redecl@/ /@-declundef@/
	7	extern void ylerror (char p_s) /@modifies g_warningstream@/ ;
	8	/@=redecl@/ /@=declundef@/
	9
	10	# else
	11	# error "Multiple includes"
	12	# endif