X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/d767066b40ee6d1187273de11f2f942f8a10e1e7..0bd4c301f40f5da75d0ccdc14d1aa1c40c297305:/lib/posix.h diff --git a/lib/posix.h b/lib/posix.h index 924efa8..2706e2d 100644 --- a/lib/posix.h +++ b/lib/posix.h @@ -424,10 +424,10 @@ struct stat { # ifdef STRICT /*@notfunction@*/ -# define SBOOLINT lltX_bool /*@alt int@*/ +# define SBOOLINT _Bool /*@alt int@*/ # else /*@notfunction@*/ -# define SBOOLINT lltX_bool +# define SBOOLINT _Bool # endif extern SBOOLINT S_ISBLK (/*@sef@*/ mode_t m) /*@*/ ;