Fixed some /@*i@*/ comments in the code.

[splint.git] / src / cstring.c

diff --git a/src/cstring.c b/src/cstring.c
index 4b125d361992b12f57d6b735bedb58bb2aa38117..4c9f2c05cd548aa6679f82e8c0b81348b573d606 100644 (file)
--- a/src/cstring.c
+++ b/src/cstring.c
@@ -901,9 +901,6 @@ extern /*@observer@*/ cstring cstring_advanceWhiteSpace (cstring s)
   return cstring_undefined;
 }
 
-/*@i3534 @*/
-/*@ignore@*/ /* !!! DRL don't ignore large segments like this without a good reason! */
-
 /* changes strings like "sdf" "sdfsd" into "sdfsdfsd"*/
 /* This function understands that "sdf\"  \"sdfsdf" is okay*/
 static mstring doMergeString (cstring s)
@@ -1163,7 +1160,7 @@ cstring cstring_replaceChar(/*@returned@*/ cstring c, char oldChar, char newChar
 
   return c;
 }
-/*@end@*/
+