Updated specifications in the unix library. Added the file stdio.h and stdlib.h...

[splint.git] / lib / posix.lcd

diff --git a/lib/posix.lcd b/lib/posix.lcd
index 8bd50848411f4756ff9c33e432f64c9451c077c9..e4da9359e505d07b23237ae7d6d25aff0adbbd5b 100644 (file)
--- a/lib/posix.lcd
+++ b/lib/posix.lcd
@@ -1,5 +1,5 @@
 ;;LCLint Dump: posix.lcd
-;;LCLint 3.0.0.12 --- 21 August 2001
+;;LCLint 3.0.0.16 --- 10 September 2001
 ;;lib:167
 ;;ctTable
 0 u-2 19 38
@@ -1569,6 +1569,7 @@
 *1 (Constant)
 ^764 5$#REG_BASIC#REG_EXTENDED#REG_ICASE#REG_NOSUB#REG_NEWLINE#REG_NOSPEC#REG_PEND#REG_DUMP#REG_NOMATCH#REG_BADPAT#REG_ECOLLATE#REG_ECTYPE#REG_EESCAPE#REG_ESUBREG#REG_EBRACK#REG_EPAREN#REG_EBRACE#REG_BADBR#REG_ERANGE#REG_ESPACE#REG_BADRPT#REG_EMPTY#REG_ASSERT#REG_INVARG#REG_ATOI#REG_ITOA#REG_NOTBOL#REG_NOTEOL#REG_STARTEND#REG_TRACE#REG_LARGE#REG_BACKR
 ;; Library constraints
+constraints
 vsnprintf
 pre:
 C