Fixed /*@i@*/ warning in splintme

[splint.git] / src / exprNode.c

diff --git a/src/exprNode.c b/src/exprNode.c
index 41b0a6d1a829f272f70cbe6a2d5e3cbeaffd580f..403dbabab809c52e87b9cdaada8190b68f0be9a4 100644 (file)
--- a/src/exprNode.c
+++ b/src/exprNode.c
@@ -4416,10 +4416,6 @@ exprNode_postOp (/*@only@*/ exprNode e, /*@only@*/ lltok op)
   exprNode_checkModify (e, ret);
 
   /* added 7/11/2000 D.L */
-  /*@i223*/ 
-  /*DRL 6/8/01 I decided to disable all Splint warnings here since the code 
-    probably needs a rewrite any way */
-
 
   /* updateEnvironmentForPostOp (e); */