*** empty log message ***

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

diff --git a/test/db3/erc.lcs b/test/db3/erc.lcs
index 56c48a2b47ca3351d904cefb1799e9db51b96738..99a27c199be0ed1a19b2649ab667b5042b0da278 100644 (file)
--- a/test/db3/erc.lcs
+++ b/test/db3/erc.lcs
@@ -1,4 +1,4 @@
-%PASSED Output from LCLint 3.0.0.8
+%PASSED Output from LCLint 3.0.0.12
 %LCLimports 
 %LCLSortTable
 %LCLsort bool immutable nil nil