*** empty log message ***

[splint.git] / src / Headers / exprData.h

diff --git a/src/Headers/exprData.h b/src/Headers/exprData.h
index 0ab25b4ad796d493f687bcbcd1de2b53dcf8ecbf..a57b75132397de2b2e513e7c138c593cad9f38b5 100644 (file)
--- a/src/Headers/exprData.h
+++ b/src/Headers/exprData.h
@@ -85,7 +85,8 @@ exprData_getIterCallArgs (exprData p_data) /*@*/;
 
 /*static*/ /*@exposed@*/ cstringList exprData_getOffsetName (exprData p_data) /*@*/ ;
 
-/*static*/ /*@exposed@*/ exprNode exprData_getSingle (exprData p_data);
+/*drl 10/18/001 added sef annotation*/
+/*static*/ /*@exposed@*/ exprNode exprData_getSingle (exprData p_data) /*@*/;
 
 /*static*/ /*@only@*/ exprData 
 exprData_makeOp (/*@keep@*/ exprNode p_a, /*@keep@*/ exprNode p_b, /*@keep@*/ lltok p_op);