X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/2ab9c885b11ea2ed5e45af61e728e20d6979f745..dcaf75eaed37623f27c23241c146ad25910208f3:/test/maxset/maxsetannotations.c

diff --git a/test/maxset/maxsetannotations.c b/test/maxset/maxsetannotations.c
index c2bc474..503ffdd 100644
--- 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);
 }