diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-05-23 21:46:01 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-05-23 21:46:01 +0000 |
| commit | 12887247ec70c640ef70a28334217e71d5aa2529 (patch) | |
| tree | 309e375edea35f0a611c1f6fc2e83383869cd019 /runtime/klee-libc | |
| parent | d9d90a0a47540af317809c2f7e660e76d4e7fe47 (diff) | |
| download | klee-12887247ec70c640ef70a28334217e71d5aa2529.tar.gz | |
Fix for platforms which #define putchar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72346 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'runtime/klee-libc')
| -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); |