X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/ae13359213220016611ceaf93109dac6849be88b..6317f163d6dd13ef058d98c91a6f9eb29a9f87f4:/test/for.expect diff --git a/test/for.expect b/test/for.expect index e75990d..e1054c9 100644 --- a/test/for.expect +++ b/test/for.expect @@ -1,7 +1,6 @@ for.c: (in function f) -for.c:13:5: Possible out-of-bounds store: - t[i] +for.c:13:5: Possible out-of-bounds store: t[i] Unable to resolve constraint: requires i @ for.c:13:7 <= 10 needed to satisfy precondition: