]> andersk Git - splint.git/blobdiff - src/Headers/llgrammar.h
Fixed checking for shift expressions.
[splint.git] / src / Headers / llgrammar.h
index 470a009f954c66b562c7917136b90d3a677788ce..b8da786a51401ee3275d59e0beb51044a29ee3ce 100644 (file)
@@ -3,9 +3,9 @@
 
 # include "llgrammar_gen.h"
 
-/*@-redecl@*/
+/*@-redecl@*/ /*@-declundef@*/
 extern void ylerror (char *p_s) /*@modifies *g_msgstream@*/ ;
-/*@=redecl@*/
+/*@=redecl@*/ /*@=declundef@*/
 
 # else
 # error "Multiple includes"
This page took 0.070327 seconds and 4 git commands to generate.