Renaming - LCLint => Splint

[splint.git] / test / db1 / employee.lcs

diff --git a/test/db1/employee.lcs b/test/db1/employee.lcs
index 2dea5b7b2ed5c4db4b1a0927d5a1edd3edb5656e..4de3dedfcb8d85f7197958df4b7292cf3e821379 100644 (file)
--- a/test/db1/employee.lcs
+++ b/test/db1/employee.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