Lots of changes. Code is mostly annotated. Still lots of breaken stuff though.

[splint.git] / src / uentry.c

diff --git a/src/uentry.c b/src/uentry.c
index 2a59a0808f895d7e7f4a80b08c2b73e7e63442b6..0a4591c51c456ec370727593c61b8a666598189c 100644 (file)
--- a/src/uentry.c
+++ b/src/uentry.c
@@ -560,7 +560,7 @@ static /*@observer@*/ cstring uentry_reDefDecl (uentry old, uentry unew)  /*@*/
 
 
 /*drl7x*/
-constraintList uentry_getFcnPreconditions (uentry ue)
+/*@only@*/ constraintList uentry_getFcnPreconditions (uentry ue)
 {
   if (uentry_isValid (ue))
     {