Fixed line numbering when multi-line macro parameters are used.

[splint.git] / lib / standard.h

diff --git a/lib/standard.h b/lib/standard.h
index 2274eab0257f42819082687e2b1a328fb7f3bf20..20b39fbdf964c223744d0d298128d5de478e2c6c 100644 (file)
--- a/lib/standard.h
+++ b/lib/standard.h
@@ -343,11 +343,12 @@ void va_end (va_list va) /*@modifies va;@*/ ;
 typedef /*@abstract@*/ /*@mutable@*/ void *FILE;
 typedef /*@abstract@*/ /*@mutable@*/ void *fpos_t;
 
-/*@constant int _IOFBF; @*/
-/*@constant int _IOLBF; @*/
-/*@constant int _IONBF; @*/
+/*@constant size_t _IOFBF; @*/
+/*@constant size_t _IOLBF; @*/
+/*@constant size_t _IONBF; @*/
+
+/*@constant size_t BUFSIZ; @*/ /* evans 2002-02-27 change suggested by Walter Briscoe */
 
-/*@constant int BUFSIZ; @*/
 /*@constant int EOF; @*/
 
 /*@constant int FOPEN_MAX; @*/