*** empty log message ***

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

diff --git a/src/Headers/constraint.h b/src/Headers/constraint.h
index 8bd0219dfab135476b1ef3c1c885b7a53900914a..a39add5b22524ec4259793b68827aba7136d9e6a 100644 (file)
--- a/src/Headers/constraint.h
+++ b/src/Headers/constraint.h
@@ -97,7 +97,7 @@ extern bool constraint_search (constraint p_c, constraintExpr p_old);
 
 extern /*@only@*/ constraint makeConstraintParse3 (constraintExpr p_l, lltok p_relOp, constraintExpr p_r);
 
-extern constraint constraint_addGeneratingExpr (/*@returned@*/ constraint p_c, /*@dependent@*/ /*@oberserver@*/ exprNode p_e);
+extern constraint constraint_addGeneratingExpr (/*@returned@*/ constraint p_c, /*@dependent@*/ /*@exposed@*/ exprNode p_e);
 
 extern bool constraint_hasMaxSet(constraint p_c);