Committing after merging Evan's changes.

[splint.git] / src / ltoken.c

diff --git a/src/ltoken.c b/src/ltoken.c
index 8136819572495b1e7f2f627ea62834d3ba4da099..cc6e383ecebcda0edd96a7413c24cb5a9c403b07 100644 (file)
--- a/src/ltoken.c
+++ b/src/ltoken.c
@@ -37,7 +37,7 @@
 ** set in LCLScanLineInit of lclscanline.c or in scanline.c 
 */
 
-/*@-namechecks@*/
+/*@-namechecks@*/ /* These should all start with g_ */
 ltoken ltoken_forall;
 ltoken ltoken_exists;
 ltoken ltoken_true;