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

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

diff --git a/src/Headers/mtValuesNode.h b/src/Headers/mtValuesNode.h
index ce89d396425dfb27d6dc0fabc004b63510f9510e..92250f1a4258a663467999e740d40bf2f8b6f7a0 100644 (file)
--- a/src/Headers/mtValuesNode.h
+++ b/src/Headers/mtValuesNode.h
@@ -19,7 +19,6 @@ extern void mtValuesNode_free (/*@only@*/ mtValuesNode) ;
 
 extern cstring mtValuesNode_unparse (mtValuesNode p_node) /*@*/ ;
 
-/*@i32 why no warning without observer!??*/
 extern /*@observer@*/ cstringList mtValuesNode_getValues (mtValuesNode p_node) /*@*/ ;
 # define mtValuesNode_getValues(node) ((node)->values)