*** empty log message ***

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

diff --git a/test/db3/check.lcs b/test/db3/check.lcs
index cf1cf5d8d7247e78c98a9cb7ae5066846f34dfbd..0d9ea3c9421103be2659efbb8782024138d4818d 100644 (file)
--- a/test/db3/check.lcs
+++ b/test/db3/check.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