Renaming - LCLint => Splint

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

diff --git a/test/db2/dbase.lcs b/test/db2/dbase.lcs
index d5c4801ea0d3a282b50f5d72ff01e4b2aeab8c5f..74e3b6ddf0b008e137db99bd2fe359504fbdffe9 100644 (file)
--- a/test/db2/dbase.lcs
+++ b/test/db2/dbase.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