]> andersk Git - splint.git/blob - src/Headers/llgrammar.h
Fix tracker issue 1837229.
[splint.git] / src / Headers / llgrammar.h
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
This page took 0.038498 seconds and 5 git commands to generate.