X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/ae13359213220016611ceaf93109dac6849be88b..6317f163d6dd13ef058d98c91a6f9eb29a9f87f4:/src/constraintExprData.c

diff --git a/src/constraintExprData.c b/src/constraintExprData.c
index ec5427b..1ce4e37 100644
--- 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));