*** empty log message ***

[splint.git] / src / exprData.c

diff --git a/src/exprData.c b/src/exprData.c
index 3468afdbdd3fb124ca829cdf388d525c60ff586e..c7be031063f1531712b06a068c6069ab7b6aedea 100644 (file)
--- a/src/exprData.c
+++ b/src/exprData.c
@@ -481,7 +481,7 @@ void exprData_free (/*@only@*/ exprData data, exprKind kind)
   return (data->offset->field);
 }
 
-/*@exposed@*/ exprNode exprData_getSingle (exprData data)
+/*@exposed@*/ exprNode exprData_getSingle (exprData data) /*@*/
 {
   exprNode ret;
   llassert (data != exprData_undefined);