*** empty log message ***

[splint.git] / test / maxset.expect

diff --git a/test/maxset.expect b/test/maxset.expect
index 86afd8d48849359a96ceb2f9ca0d17ac071f4b1c..db7acc12a704c9b278319abae0c6a02ac7466778 100644 (file)
--- a/test/maxset.expect
+++ b/test/maxset.expect
@@ -2,8 +2,8 @@
 Finished LCLint checking --- no code errors found
 
 maxsetnoannotations.c: (in function noancopy)
-maxsetnoannotations.c:2:3: Possible out-of-bounds store.  Unable to resolve
-    constraint:
+maxsetnoannotations.c:2:3: Possible out-of-bounds store:
+    Unable to resolve constraint:
     requires maxSet(a @ maxsetnoannotations.c:2:11) >= maxRead(b @
     maxsetnoannotations.c:2:13)
      needed to satisfy precondition: