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

[splint.git] / lib / ansistrict.lcd

diff --git a/lib/ansistrict.lcd b/lib/ansistrict.lcd
index be4ded95237bd9beac6ac589ec005f3c1027e56c..9b7fdadf18f0961e13bb98a6c2698a08dd7d395b 100644 (file)
--- a/lib/ansistrict.lcd
+++ b/lib/ansistrict.lcd
@@ -1,6 +1,6 @@
-;;LCLint Dump: ansistrict.lcd
-;;LCLint 3.0.0.19 --- 5 October 2001
-;;lib:168
+;;; Splint Library  ansistrict.lcd
+;;Splint 3.0.0.20 --- 29 December 2001
+;;lib:169
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39