Fixed bug caused by free the null terminated stuff (bbufinfo) in uvinfo_free

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

diff --git a/src/Headers/constraint.h b/src/Headers/constraint.h
index fc2322e03800576281521facfa44d67d44b1d537..8bd0219dfab135476b1ef3c1c885b7a53900914a 100644 (file)
--- a/src/Headers/constraint.h
+++ b/src/Headers/constraint.h
@@ -16,7 +16,7 @@ struct s_constraint {
   arithType       ar;
   constraintExpr  expr;
   bool post;
-  /*@observer@*/ /*@dependent@*/ exprNode generatingExpr;
+  /*@observer@*/ /*@exposed@*/ /*@dependent@*/ exprNode generatingExpr;
 } ;
 
 /*@constant null constraint constraint_undefined; @*/