Fixes for win32

[splint.git] / test / constannot.expect

diff --git a/test/constannot.expect b/test/constannot.expect
index 6cb0756339a74f3cce8ea1dad755371f04af1289..467493b7469c9c0fe56b3876208c8106aced27d6 100644 (file)
--- a/test/constannot.expect
+++ b/test/constannot.expect
@@ -7,7 +7,7 @@ constannot.c:11:3: Possible out-of-bounds store:
      needed to satisfy precondition:
     requires maxSet(str @ constannot.c:11:3) >= 20
 constannot.c: (in function foo3)
-constannot.c:20:3: Possible out-of-bounds store:
+constannot.c:20:3: Likely out-of-bounds store:
     foo(buf)
     Unable to resolve constraint:
     requires <const int=20> <= 19