Renaming - LCLint => Splint

[splint.git] / test / mut.lcs

diff --git a/test/mut.lcs b/test/mut.lcs
index 0964866310ff1f60892e4e7709ad3f947b763f55..3f1adf4d597709e92b64f0742747759cd52b28fa 100644 (file)
--- a/test/mut.lcs
+++ b/test/mut.lcs
@@ -1,4 +1,4 @@
-%PASSED Output from LCLint 3.0.0.12
+%PASSED Output from Splint 3.0.0.20
 %LCLimports 
 %LCLSortTable
 %LCLsort bool immutable nil nil