Renaming - LCLint => Splint

[splint.git] / test / observer.lcs

diff --git a/test/observer.lcs b/test/observer.lcs
index e49521810bf784038f8e8d9f71ce570acc6456a6..6a2d11210c53678c44b70d19bb97005d4547640d 100644 (file)
--- a/test/observer.lcs
+++ b/test/observer.lcs
@@ -1,4 +1,4 @@
-%PASSED Output from LCLint 3.0.0.19
+%PASSED Output from Splint 3.0.0.20
 %LCLimports 
 %LCLSortTable
 %LCLsort bool immutable nil nil