Added support for or constraints.

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

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