X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/7a8641bf3e56e9e557f91056dfcd128326ebfd33..c757ee29b6ba485150203b7e2c11452909c77f37:/src/constraintExprData.c

diff --git a/src/constraintExprData.c b/src/constraintExprData.c
index 9ca1409..ec5427b 100644
--- a/src/constraintExprData.c
+++ b/src/constraintExprData.c
@@ -155,7 +155,6 @@ constraintExprData_termSetTerm (/*@returned@*/ constraintExprData data,
 constraintExprData_termGetTerm (/*@observer@*/ constraintExprData data)
 {
   llassert (constraintExprData_isDefined (data));
-  /*@i22*/
   return data->term;
 }
 
@@ -218,7 +217,6 @@ constraintExpr constraintExprData_binaryExprGetExpr1 (constraintExprData data)
 constraintExpr constraintExprData_binaryExprGetExpr2 (constraintExprData data)
 {
   llassert (constraintExprData_isDefined(data));
-  /*@i22*/ 
   return (data->binaryOp.expr2);
 }