Fixes for 3.0.0.18:

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

diff --git a/test/db3/empset.lcs b/test/db3/empset.lcs
index aa853fdb7c6a54932c89f0455ce14193cd0f8018..eee6f5216f579fc41a5e3e560c22a473e3fee9f9 100644 (file)
--- a/test/db3/empset.lcs
+++ b/test/db3/empset.lcs
@@ -1,4 +1,4 @@
-%PASSED Output from LCLint 3.0.0.17
+%PASSED Output from LCLint 3.0.0.18
 %LCLimports 
 %LCLSortTable
 %LCLsort bool immutable nil nil