X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/9276a1680c50fd93ad07d6ba49227ea6c868007a..51bc6ecce8b6e9877dccd8bda2cf220b47e6929c:/test/constannot.expect?ds=sidebyside

diff --git a/test/constannot.expect b/test/constannot.expect
index 6cb0756..467493b 100644
--- 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