Renaming - LCLint => Splint

[splint.git] / test / db3 / empset.lcs

diff --git a/test/db3/empset.lcs b/test/db3/empset.lcs
index 0466e9b3225dbe96db243e659f21bd6584068a7b..8ebb87de5416d4d6df2e332ffaaa23c85d5471d8 100644 (file)
--- a/test/db3/empset.lcs
+++ b/test/db3/empset.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