Made allocations involving sizeof work correctly (test/malloc.c).

[splint.git] / src / constraintExprData.c

diff --git a/src/constraintExprData.c b/src/constraintExprData.c
index ec5427ba69a41f2ce7243f3d31bb0351882bf6a9..1ce4e370dc72c11b78c9e292512c35e0a96fa36c 100644 (file)
--- a/src/constraintExprData.c
+++ b/src/constraintExprData.c
@@ -149,9 +149,7 @@ constraintExprData_termSetTerm (/*@returned@*/ constraintExprData data,
   return data;
 }
 
-
-
-/*@observer@*/ constraintTerm 
+/*@exposed@*/ constraintTerm 
 constraintExprData_termGetTerm (/*@observer@*/ constraintExprData data)
 {
   llassert (constraintExprData_isDefined (data));