*** empty log message ***

[splint.git] / src / mtgrammar.c

diff --git a/src/mtgrammar.c b/src/mtgrammar.c
index 318ce0943e37669e7aa42c96f9b99c8f17c8fad4..ce2f8c73e5fb89b10c765e3c5f7633c2f2e116e1 100644 (file)
--- a/src/mtgrammar.c
+++ b/src/mtgrammar.c
@@ -116,7 +116,7 @@
 extern ctype mtscanner_lookupType (mttok p_tok) /*@modifies p_tok@*/ ;
 # endif
 
-  /*@i523 can't include these here
+  /*@i523@*/ /* can't include these here
     # include "mtgrammar.h"
     # include "mtscanner.h"
   */