diff options
| -rw-r--r-- | runtime/klee-libc/putchar.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/runtime/klee-libc/putchar.c b/runtime/klee-libc/putchar.c index f3fcf01d..4c3a57e4 100644 --- a/runtime/klee-libc/putchar.c +++ b/runtime/klee-libc/putchar.c @@ -10,6 +10,9 @@ #include <stdio.h> #include <unistd.h> +// Some header may #define putchar. +#undef putchar + int putchar(int c) { char x = c; write(1, &x, 1); |