Tried to fix some problems with the configuration system.

[splint.git] / lib / posixstrict.lcd

diff --git a/lib/posixstrict.lcd b/lib/posixstrict.lcd
index c97a6e85abe5019d94efb4b43d4660457fdc4afb..24d1f2ccada4eb66b20c22bf6bbd6804fca3048a 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:167
+;;lib:168
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39
@@ -2319,9 +2319,35 @@ l
 2
 Param 23 0
 r
+0
+1
+e1
+2
+2
+Param 63 1
+e2
+2
+3
+-1
+C
+0@1@1
+l
+1
+3
+2
+2
+Param 23 0
+r
+0
+1
+e1
 2
 2
 Param 63 1
+e2
+2
+3
+-1
 ;; end precondition constraints
 post:EMPTY
 read