- lclint-3.0.0.15 fiddles.

CVS patchset: 5067
CVS date: 2001/09/21 15:07:11

1 files changed, 2 insertions, 0 deletions

diff --git a/system.h b/system.h
index 1e16e32a2..83495735a 100644
--- a/system.h
+++ b/system.h
@@ -42,7 +42,9 @@ extern time_t timezone;
 typedef	unsigned int u_int32_t;
 typedef	unsigned short u_int16_t;
 typedef	unsigned char u_int8_t;
+/*@-incondefs@*/	/* LCLint 3.0.0.15 */
 typedef	int int32_t;
+/*@=incondefs@*/
 /*@-declundef@*/
 /*@only@*/ void * alloca (size_t size)	/*@modifies internalState @*/;
 /*@=declundef@*/