Renaming - LCLint => Splint

[splint.git] / test / maxset.expect

diff --git a/test/maxset.expect b/test/maxset.expect
index db7acc12a704c9b278319abae0c6a02ac7466778..33755b2405ea083b490f6c52d94c386c0ffd56c0 100644 (file)
--- a/test/maxset.expect
+++ b/test/maxset.expect
@@ -1,5 +1,5 @@
 
-Finished LCLint checking --- no code errors found
+Finished checking --- no warnings
 
 maxsetnoannotations.c: (in function noancopy)
 maxsetnoannotations.c:2:3: Possible out-of-bounds store:
@@ -12,4 +12,4 @@ maxsetnoannotations.c:2:3: Possible out-of-bounds store:
      derived from strcpy precondition: requires maxSet(<parameter 1>) >=
     maxRead(<parameter 2>)
 
-Finished LCLint checking --- 1 code error found, as expected
+Finished checking --- 1 code warning, as expected