*** empty log message ***

[splint.git] / lib / unix.lcd

diff --git a/lib/unix.lcd b/lib/unix.lcd
index fd98fa3b40b03492be35e7eda6d58a63f6ecf8db..05db99ce0f0a2e9b76cb3fd177ccf1e8a083b566 100644 (file)
--- a/lib/unix.lcd
+++ b/lib/unix.lcd
@@ -1,5 +1,5 @@
 ;;LCLint Dump: unix.lcd
-;;LCLint 3.0.0.8 --- 19 July 2001
+;;LCLint 3.0.0.9 --- 23 July 2001
 ;;lib:167
 ;;ctTable
 0 u-2 19 38