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

[splint.git] / lib / ansi.lcd

diff --git a/lib/ansi.lcd b/lib/ansi.lcd
index 3589b0555144cdef99981b35275ee2ad9c8dbb02..f1076e577bc9ef8b6f94984efa4fdce5c5a2b261 100644 (file)
--- a/lib/ansi.lcd
+++ b/lib/ansi.lcd
@@ -1,6 +1,6 @@
 ;;; Splint Library  ansi.lcd
-;;Splint 3.0.0.20 --- 5 October 2001
-;;lib:168
+;;Splint 3.0.0.20 --- 29 December 2001
+;;lib:169
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39