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

[splint.git] / lib / ansistrict.lcd

diff --git a/lib/ansistrict.lcd b/lib/ansistrict.lcd
index 34a55b1a98a6c6f7650ade9fd9c8c3fbe797c65b..2a8146d7ccf998b5fcdfb925d910254b85653153 100644 (file)
--- a/lib/ansistrict.lcd
+++ b/lib/ansistrict.lcd
@@ -1,5 +1,5 @@
 ;;LCLint Dump: ansistrict.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
@@ -1036,6 +1036,7 @@
 ^371 5$#INT8_MIN#INT16_MIN#INT32_MIN#INT64_MIN#INT8_MAX#INT16_MAX#INT32_MAX#INT64_MAX#UINT8_MIN#UINT16_MIN#UINT32_MIN#UINT64_MIN#INT_LEAST8_MIN#INT_LEAST16_MIN#INT_LEAST32_MIN#INT_LEAST64_MIN#INT_LEAST8_MAX#INT_LEAST16_MAX#INT_LEAST32_MAX#INT_LEAST64_MAX#UINT_LEAST8_MAX#UINT_LEAST16_MAX#UINT_LEAST32_MAX#UINT_LEAST64_MAX#INT_FAST8_MIN#INT_FAST16_MIN#INT_FAST32_MIN#INT_FAST64_MIN#INT_FAST8_MAX#INT_FAST16_MAX#INT_FAST32_MAX#INT_FAST64_MAX#UINT_FAST8_MAX#UINT_FAST16_MAX#UINT_FAST32_MAX#UINT_FAST64_MAX
 ^407 63$#INTPTR_MIN#INTPTR_MAX
 ;; Library constraints
+constraints
 vsnprintf
 pre:
 C