Changed to used /\ and requires instead of bufferConstraint

[splint.git] / test / maxset / maxsetannotations.c

diff --git a/test/maxset/maxsetannotations.c b/test/maxset/maxsetannotations.c
index c2bc474052531b2dba5e28200730093ee1314e6f..503ffdda6b5c76b0dd6f0ab33e134289c3fec572 100644 (file)
--- a/test/maxset/maxsetannotations.c
+++ b/test/maxset/maxsetannotations.c
@@ -1,6 +1,6 @@
 #include "../../lib/ansi.h"
 
-void anstrcpy( /*@unique@*/ char * a, char *b) /*@bufferConstraint MaxSet(a) >= MaxRead (b); @*/ {
+void anstrcpy( /*@unique@*/ char * a, char *b) /*@requires MaxSet(a) >= MaxRead (b); @*/ {
 strcpy (a,b);
 }