X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/ae13359213220016611ceaf93109dac6849be88b..6317f163d6dd13ef058d98c91a6f9eb29a9f87f4:/test/constannot.expect

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