- library fixes:

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

diff --git a/src/Headers/llgrammar_gen.h b/src/Headers/llgrammar_gen.h
index 254dde526a9c3f5b8995f4fec6cbadf796a8ae7f..73040141781a57b5fb0121b34acbc473c18bd31e 100644 (file)
--- a/src/Headers/llgrammar_gen.h
+++ b/src/Headers/llgrammar_gen.h
@@ -87,6 +87,7 @@ typedef union
   /*@only@*/ abstBodyNode abstbody;
   /*@only@*/ abstractNode abstract;
   /*@only@*/ exposedNode exposed;
+  /*@only@*/ pointers pointers;
   /*    taggedUnionNode taggedunion; */
   /*@only@*/ globalList globals;
   /*@only@*/ constDeclarationNode constdeclaration;