Renaming - LCLint => Splint

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

diff --git a/test/db1/dbase.lcs b/test/db1/dbase.lcs
index 8cc2cc016f7bb7d93b93670a6736d3db1dbe0659..910bc7154458b7aafa7321ccc3deeeadb0546a89 100644 (file)
--- a/test/db1/dbase.lcs
+++ b/test/db1/dbase.lcs
@@ -1,4 +1,4 @@
-%PASSED Output from LCLint 2.5m
+%PASSED Output from Splint 3.0.0.20
 %LCLimports 
 %LCLSortTable
 %LCLsort bool immutable nil nil