*** empty log message ***

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

diff --git a/test/db1/erc.lcs b/test/db1/erc.lcs
index 1e58227b0ce8a640d4bd3b8b676fafa1d1a41064..525dc5da9f18731ab56827b1b51159a6cda2411b 100644 (file)
--- a/test/db1/erc.lcs
+++ b/test/db1/erc.lcs
@@ -1,4 +1,4 @@
-%PASSED Output from LCLint 3.0.0.7
+%PASSED Output from LCLint 3.0.0.8
 %LCLimports 
 %LCLSortTable
 %LCLsort bool immutable nil nil