X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/b7e846050a7dacd97326b1c38d2dd417569b0ce8..1d239d69c6db918ef0691cc89740335df558c7c6:/test/db1/erc.lcs?ds=sidebyside

diff --git a/test/db1/erc.lcs b/test/db1/erc.lcs
index 63147a0..2cc8204 100644
--- a/test/db1/erc.lcs
+++ b/test/db1/erc.lcs
@@ -1,4 +1,4 @@
-%PASSED Output from LCLint 3.0.0.12
+%PASSED Output from LCLint 3.0.0.13
 %LCLimports 
 %LCLSortTable
 %LCLsort bool immutable nil nil