Fixed /*@i@*/ splintme errors.

[splint.git] / src / constraintExprData.c

diff --git a/src/constraintExprData.c b/src/constraintExprData.c
index 9ca1409e9c19d39fc5061c69c806f47d9a661310..ec5427ba69a41f2ce7243f3d31bb0351882bf6a9 100644 (file)
--- 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);
 }