X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/1d239d69c6db918ef0691cc89740335df558c7c6..a469ccf0fcb67590e2954255f5dcc885d5689e60:/test/db2/empset.lcs

diff --git a/test/db2/empset.lcs b/test/db2/empset.lcs
index a85292b..5bd5246 100644
--- a/test/db2/empset.lcs
+++ b/test/db2/empset.lcs
@@ -1,4 +1,4 @@
-%PASSED Output from LCLint 3.0.0.13
+%PASSED Output from LCLint 3.0.0.19
 %LCLimports 
 %LCLSortTable
 %LCLsort bool immutable nil nil