X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/d767066b40ee6d1187273de11f2f942f8a10e1e7..0bd4c301f40f5da75d0ccdc14d1aa1c40c297305:/lib/stdio.h

diff --git a/lib/stdio.h b/lib/stdio.h
index 3b8ba17..df49b76 100644
--- a/lib/stdio.h
+++ b/lib/stdio.h
@@ -9,9 +9,9 @@
 /*@constant unsignedintegraltype BUFSIZ@*/ 
 /*@constant unsignedintegraltype FILENAME_MAX@*/
 /*@constant unsignedintegraltype FOPEN_MAX@*/
-/*@constant lltX_bool _IOFBF@*/
-/*@constant lltX_bool _IOLBF@*/
-/*@constant lltX_bool _IONBF@*/
+/*@constant _Bool _IOFBF@*/
+/*@constant _Bool _IOLBF@*/
+/*@constant _Bool _IONBF@*/
 /*@constant unsignedintegraltype L_ctermid@*/
 /*@constant unsignedintegraltype L_cuserid@*/
 /*@constant unsignedintegraltype L_tmpnam@*/