diff options
| author | Franklin Wei <frankhwei536@gmail.com> | 2015-03-01 14:40:30 -0500 |
|---|---|---|
| committer | Franklin Wei <frankhwei536@gmail.com> | 2015-03-01 14:40:30 -0500 |
| commit | 35d98182c5b86c25eb4e7fd18fc68f240683960b (patch) | |
| tree | eef74a8d1243e5d335b02dc99ae41ebc3077eae9 /include/stdio.h | |
| parent | c7252588ebb95f97631e9470778c69afa00c35b5 (diff) | |
| download | kappa-35d98182c5b86c25eb4e7fd18fc68f240683960b.zip kappa-35d98182c5b86c25eb4e7fd18fc68f240683960b.tar.gz kappa-35d98182c5b86c25eb4e7fd18fc68f240683960b.tar.bz2 kappa-35d98182c5b86c25eb4e7fd18fc68f240683960b.tar.xz | |
vprintf and panic formatting
Diffstat (limited to 'include/stdio.h')
| -rw-r--r-- | include/stdio.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/include/stdio.h b/include/stdio.h index 49966cf..9bed898 100644 --- a/include/stdio.h +++ b/include/stdio.h @@ -1,4 +1,7 @@ -int printf(const char* fmt, ...) __attribute__ ((format (printf, 1, 2)));; +#include <stdarg.h> + +int vprintf(const char* fmt, va_list); +int printf(const char* fmt, ...) __attribute__ ((format (printf, 1, 2))); int puts(const char*); int putchar(int); |