*** empty log message ***

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

diff --git a/test/db3/erc.lh b/test/db3/erc.lh
index b22797cdc10a696a4bf1c97a53f896f4f842667a..678a0d40b6fd0fe83c044801e93bd4a09d57d36a 100644 (file)
--- a/test/db3/erc.lh
+++ b/test/db3/erc.lh
@@ -1,4 +1,4 @@
-/* Output from LCLint 3.0.0.9 */
+/* Output from LCLint 3.0.0.12 */
 
 # include "bool.h"
 # include "eref.h"