*** empty log message ***

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

diff --git a/test/db2/empset.lcs b/test/db2/empset.lcs
index 775b5b0b81c1823f34832f03e57ed6eec3629911..8122625ea33549699b4e4e5ac4e8bdc4c36ed995 100644 (file)
--- a/test/db2/empset.lcs
+++ b/test/db2/empset.lcs
@@ -1,4 +1,4 @@
-%PASSED Output from LCLint 3.0.0.9
+%PASSED Output from LCLint 3.0.0.12
 %LCLimports 
 %LCLSortTable
 %LCLsort bool immutable nil nil