Fixed all /*@i...@*/ tags (except 1).

[splint.git] / src / Headers / splintMacros.nf

diff --git a/src/Headers/splintMacros.nf b/src/Headers/splintMacros.nf
index 265edf61688ccf6b8bcb065f9aa2cbca5effa329..1d5a738424305aa63f554ea643251b05c636f8a6 100644 (file)
--- a/src/Headers/splintMacros.nf
+++ b/src/Headers/splintMacros.nf
@@ -111,7 +111,6 @@
 /*@notfunction@*/
 # define NOALIAS(s,t) (/*@ignore@*/ (s == NULL) || (s != t) /*@end@*/)
 
-/*@i34@*/ /*fix this before release version*/
 /* evans 2002-02-24: got rid of -formatconst */
 
 /*@notfunction@*/