X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/9a48d98c204aab98e0cd2d427808654cf280b62e..2a6e9c30f59a18a1f6e678745a79ae5bda5b6a99:/src/ltoken.c

diff --git a/src/ltoken.c b/src/ltoken.c
index 8136819..cc6e383 100644
--- 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;