From 12887247ec70c640ef70a28334217e71d5aa2529 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Sat, 23 May 2009 21:46:01 +0000
Subject: Fix for platforms which #define putchar

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72346 91177308-0d34-0410-b5e6-96231b3b80d8
---
 runtime/klee-libc/putchar.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'runtime/klee-libc/putchar.c')

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);
-- 
cgit 1.4.1