Cleaned up flags to generate manual help.

[splint.git] / lib / stdio.h

diff --git a/lib/stdio.h b/lib/stdio.h
index 4e1336b914fbe72aef370d6f5ffa87924f45c08c..9e3d0acff1d1b4d0092037d06fea3eb7b5de1c1c 100644 (file)
--- a/lib/stdio.h
+++ b/lib/stdio.h
@@ -267,18 +267,16 @@ extern char * ctermid (/*@returned@*/ /*@out@*/ /*@null@*/ char *s)
     /*@globals stdout@*/
     /*@modifies fileSystem, *stdout@*/ ;
 
-    int vsnprintf (/*@out@*/ char *str, size_t size, const char *format, va_list ap)
+ int vsnprintf (/*@out@*/ char *str, size_t size, const char *format, va_list ap)
+     /*@modifies str@*/ 
+     /*@requires maxSet(str) >= (size - 1) @*/ ;
 
-     /*@modifies str@*/   /*@requires maxSet(str) >= (size - 1) @*/
-   ;
-
-  int vsprintf (/*@out@*/ char *str, const char *format, va_list ap)
-   /*@warn bufferoverflowhigh "Use vsnprintf instead"@*/
-      /*@modifies str@*/  ;
-
-
-      extern char  *optarg; 
-      extern int    opterr; 
-      extern int    optind;  /*(LEGACY)*/
-      extern int    optopt;   
+int vsprintf (/*@out@*/ char *str, const char *format, va_list ap)
+     /*@warn bufferoverflowhigh "Use vsnprintf instead"@*/
+     /*@modifies str@*/  ;
+     
+extern char  *optarg; 
+extern int    opterr; 
+extern int    optind;  /*(LEGACY)*/
+extern int    optopt;