Fixed branch state bug with definitely null values (reported by Jon Wilson).

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

diff --git a/test/tests2.5/newlint.lcd b/test/tests2.5/newlint.lcd
index b7499b79221b77e390708ebd48a3832e081703e4..fa7c827f2f8f163cd7876dd7f4570eb246f150dd 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.16 --- 10 September 2001
-;;lib:168
+;;; Splint Library  newlint.lcd
+;;Splint 3.0.0.20 --- 29 December 2001
+;;lib:170
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39