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

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

diff --git a/src/Headers/constraintTerm.h b/src/Headers/constraintTerm.h
index 3ad571c2b252b2d1f19a899996a7fa4a475c36d4..1bebd5b2932eb130d0954068a020a92eeebda8e6 100644 (file)
--- a/src/Headers/constraintTerm.h
+++ b/src/Headers/constraintTerm.h
@@ -25,7 +25,7 @@ struct s_constraintTerm {
 
 abst_typedef struct s_constraintTerm *constraintTerm;
 
-/*@i311 shouldn't need this...never null */
+
 extern bool constraintTerm_isDefined (constraintTerm p_t) /*@*/ ;
 
 extern constraintTermType constraintTerm_getKind (constraintTerm) ;