From b93245489cf50720eb418d44cbe8af01f0bb48e8 Mon Sep 17 00:00:00 2001
From: Duncan Sands <baldrick@free.fr>
Date: Mon, 25 May 2009 09:50:55 +0000
Subject: Add includes to get sprintf (STPBuilder) and fprintf, stderr etc
 (Solver) when compiling with gcc-4.4.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72381 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/Solver/STPBuilder.cpp | 2 ++
 lib/Solver/Solver.cpp     | 1 +
 2 files changed, 3 insertions(+)

diff --git a/lib/Solver/STPBuilder.cpp b/lib/Solver/STPBuilder.cpp
index 33aee035..a1b6e99a 100644
--- a/lib/Solver/STPBuilder.cpp
+++ b/lib/Solver/STPBuilder.cpp
@@ -18,6 +18,8 @@
 
 #include "llvm/Support/CommandLine.h"
 
+#include <cstdio>
+
 #define vc_bvBoolExtract IAMTHESPAWNOFSATAN
 // unclear return
 #define vc_bvLeftShiftExpr IAMTHESPAWNOFSATAN
diff --git a/lib/Solver/Solver.cpp b/lib/Solver/Solver.cpp
index 43d673ff..2a50ae0c 100644
--- a/lib/Solver/Solver.cpp
+++ b/lib/Solver/Solver.cpp
@@ -24,6 +24,7 @@
 #define vc_bvBoolExtract IAMTHESPAWNOFSATAN
 
 #include <cassert>
+#include <cstdio>
 #include <map>
 #include <vector>
 
-- 
cgit 1.4.1