Updated copyright date.

[splint.git] / lib / posixstrict.lcd

diff --git a/lib/posixstrict.lcd b/lib/posixstrict.lcd
index 24d1f2ccada4eb66b20c22bf6bbd6804fca3048a..472fdbdd5ad2358265a6550b0269a68da1773631 100644 (file)
--- a/lib/posixstrict.lcd
+++ b/lib/posixstrict.lcd
@@ -1,6 +1,6 @@
-;;LCLint Dump: posixstrict.lcd
-;;LCLint 3.0.0.19 --- 5 October 2001
-;;lib:168
+;;; Splint Library  posixstrict.lcd
+;;Splint 3.0.0.20 --- 31 Dec 2001
+;;lib:169
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39
@@ -2329,6 +2329,8 @@ e2
 2
 3
 -1
+;; end precondition constraints
+post:
 C
 0@1@1
 l
@@ -2349,7 +2351,6 @@ e2
 3
 -1
 ;; end precondition constraints
-post:EMPTY
 read
 pre:
 C