Fixes for win32

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

diff --git a/test/maxset/maxsetannotations.c b/test/maxset/maxsetannotations.c
index 823d7f7eb455e57e6357b3dbd2b96f3c828f09b8..4fc2bb2e7a67e1399e2477ac45a891dc90876f20 100644 (file)
--- a/test/maxset/maxsetannotations.c
+++ b/test/maxset/maxsetannotations.c
@@ -1,6 +1,5 @@
-#include "/home/drl7x/re/LCLintDev/lib/ansi.h"
 
-void anstrcpy( /*@unique@*/ char * a, char *b) /*@bufferConstraint MaxSet(a) >= MaxRead (b); @*/ {
-strcpy (a,b);
+void anstrcpy( /*@unique@*/ char * a, char *b) /*@requires MaxSet(a) >= MaxRead (b); @*/ {
+  strcpy (a,b);
 }