Small additions to library

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

diff --git a/test/db3/erc.lcs b/test/db3/erc.lcs
index 06b6185dfb931773da401269ba525927e442aa23..835dcb857657f0183d844f70a82c5ce101bd3d6c 100644 (file)
--- a/test/db3/erc.lcs
+++ b/test/db3/erc.lcs
@@ -1,4 +1,4 @@
-%PASSED Output from LCLint 3.0.0.17
+%PASSED Output from LCLint 3.0.0.16
 %LCLimports 
 %LCLSortTable
 %LCLsort bool immutable nil nil