*** empty log message ***

[splint.git] / lib / ansi.lcd

diff --git a/lib/ansi.lcd b/lib/ansi.lcd
index 3b33ba6f08049300cce793857590dfe573c3cb26..6456575af3033027db6d5bbbd890542944600b11 100644 (file)
--- a/lib/ansi.lcd
+++ b/lib/ansi.lcd
@@ -1,5 +1,5 @@
 ;;LCLint Dump: ansi.lcd
-;;LCLint 3.0.0.9 --- 23 July 2001
+;;LCLint 3.0.0.12 --- 21 August 2001
 ;;lib:167
 ;;ctTable
 0 u-2 19 38