*** empty log message ***

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

diff --git a/src/Headers/functionConstraint.h b/src/Headers/functionConstraint.h
index a8cfc68de88201c4f528a21bf27ca697b26883dc..0a5dcf47763e577d6a183bfe4282901cc1df8325 100644 (file)
--- a/src/Headers/functionConstraint.h
+++ b/src/Headers/functionConstraint.h
@@ -46,8 +46,8 @@ extern bool functionConstraint_hasMetaStateConstraint (functionConstraint) /*@*/
 extern functionConstraint
 functionConstraint_conjoin (/*@only@*/ functionConstraint, /*@only@*/ functionConstraint) ;
 
-extern /*@observer@*/ constraintList functionConstraint_getBufferConstraint (functionConstraint) /*@*/ ;
-extern /*@observer@*/ metaStateConstraint functionConstraint_getMetaStateConstraint (functionConstraint) /*@*/ ;
+extern /*@only@*/ constraintList functionConstraint_getBufferConstraints (functionConstraint) /*@*/ ;
+extern /*@only@*/ metaStateConstraintList functionConstraint_getMetaStateConstraints (functionConstraint) /*@*/ ;
 
 extern cstring functionConstraint_unparse (functionConstraint) /*@*/ ;
 extern void functionConstraint_free (/*@only@*/ functionConstraint) ;