Pushed back constraintResolve.c to the previous version.

[splint.git] / test / manual.expect

diff --git a/test/manual.expect b/test/manual.expect
index e5471d8e293e293f15c2beeef0ea4f7ca5460532..e975c0069d5a0c0efae21a8874666cf465665db8 100644 (file)
--- a/test/manual.expect
+++ b/test/manual.expect
@@ -202,7 +202,7 @@ ignore.c:10: Return value (type bool) ignored: fb()
 
 Finished checking --- 1 code warning, as expected
 
-setChar.c:5: Possible out-of-bounds store:
+setChar.c:5: Likely out-of-bounds store:
     buf[10]
     Unable to resolve constraint:
     requires 9 >= 10