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

[splint.git] / src / Headers / llerror.h

diff --git a/src/Headers/llerror.h b/src/Headers/llerror.h
index 2e3a6c8d3f4c8f0790ab01f1c85875750281a9cb..99b39e5ff41fb58ced95bd2712934f1316202264 100644 (file)
--- a/src/Headers/llerror.h
+++ b/src/Headers/llerror.h
@@ -422,7 +422,6 @@ extern void llgenindentmsgnoloc (/*@only@*/ cstring p_s);
 
 extern /*@observer@*/ cstring lldecodeerror (int) /*@*/ ;
 
-/*@i523@*/
 /*
 ** should be static, but used in cpperror (which shouldn't exist)
 */