Tried to fix some problems with the configuration system.

[splint.git] / test / tests2.5 / newlint.lcd

diff --git a/test/tests2.5/newlint.lcd b/test/tests2.5/newlint.lcd
index 90f819f7b131a7c81d47eba7271779a360048f9d..a2174e4b7486a554b0dd684edde0003a3fccf30c 100644 (file)
--- a/test/tests2.5/newlint.lcd
+++ b/test/tests2.5/newlint.lcd
@@ -1,6 +1,6 @@
 ;;LCLint Dump: newlint.lcd
 ;;LCLint 3.0.0.19 --- 5 October 2001
-;;lib:168
+;;lib:169
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39