Renaming - LCLint => Splint

[splint.git] / lib / unix.lcd

diff --git a/lib/unix.lcd b/lib/unix.lcd
index e4e52d929daa0de5dfe5156d18a2dd4f11a4892b..8431e6ebe0bd05e521f42b93585bc6717fe75408 100644 (file)
--- a/lib/unix.lcd
+++ b/lib/unix.lcd
@@ -1,5 +1,5 @@
-;;LCLint Dump: unix.lcd
-;;LCLint 3.0.0.19 --- 5 October 2001
+;;; Splint Library  unix.lcd
+;;Splint 3.0.0.20 --- 5 October 2001
 ;;lib:168
 ;;ctTable
 0 u-2 19 38