*** empty log message ***

[splint.git] / src / constraintExprData.c

diff --git a/src/constraintExprData.c b/src/constraintExprData.c
index 66f21f97f54bdf4af95f0f5353c0dca513113040..d3cd6235a8d5533827469dba2b611795b7f115cb 100644 (file)
--- a/src/constraintExprData.c
+++ b/src/constraintExprData.c
@@ -110,18 +110,16 @@ constraintExprUnaryOpKind constraintExprData_unaryExprGetOp (/*@observer@*/ cons
 
 constraintExpr  constraintExprData_unaryExprGetExpr (/*@observer@*/ constraintExprData data)
 {
-  llassert (constraintExprData_isDefined(data));
+  llassert (constraintExprData_isDefined (data));
   /*@i232*/ return (data->unaryOp.expr);
 }
 
 
 
- constraintExprData constraintExprData_unaryExprSetOp ( /*@returned@*/ constraintExprData data, constraintExprUnaryOpKind op)
+constraintExprData constraintExprData_unaryExprSetOp ( /*@returned@*/ constraintExprData data, constraintExprUnaryOpKind op)
 {
-  /*@-uniondef@*/
-  llassert (constraintExprData_isDefined(data));
-  /*@=uniondef@*/
-
+  llassert (constraintExprData_isDefined (data));
+  
   data->unaryOp.unaryOp = op;
   return data;
 }