*** empty log message ***

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

diff --git a/test/db3/erc.lh b/test/db3/erc.lh
index e0fd0ea817f634ffd09e1318b7aed8017ed2305a..978d8a16981044c8529a7104851ea89e888f2c85 100644 (file)
--- a/test/db3/erc.lh
+++ b/test/db3/erc.lh
@@ -1,4 +1,4 @@
-/* Output from LCLint 3.0.0.7 */
+/* Output from LCLint 3.0.0.8 */
 
 # include "bool.h"
 # include "eref.h"