*** empty log message ***

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

diff --git a/test/db1/empset.lcs b/test/db1/empset.lcs
index 59c87a47d6daae6030df123fa20aac31c3464f6f..d3bf098dccdf950c06045924f5bfc461560c21ed 100644 (file)
--- a/test/db1/empset.lcs
+++ b/test/db1/empset.lcs
@@ -1,4 +1,4 @@
-%PASSED Output from LCLint 3.0b-alpha
+%PASSED Output from LCLint 3.0.0.7
 %LCLimports 
 %LCLSortTable
 %LCLsort bool immutable nil nil