[llvm-commits] [klee] r72381 - in /klee/trunk/lib/Solver: STPBuilder.cpp Solver.cpp

[Duncan Sands]

Author: baldrick
Date: Mon May 25 04:50:55 2009
New Revision: 72381

URL: http://llvm.org/viewvc/llvm-project?rev=72381&view=rev
Log:
Add includes to get sprintf (STPBuilder) and
fprintf, stderr etc (Solver) when compiling
with gcc-4.4.

Modified:
    klee/trunk/lib/Solver/STPBuilder.cpp
    klee/trunk/lib/Solver/Solver.cpp

Modified: klee/trunk/lib/Solver/STPBuilder.cpp
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/lib/Solver/STPBuilder.cpp?rev=72381&r1=72380&r2=72381&view=diff

==============================================================================
--- klee/trunk/lib/Solver/STPBuilder.cpp (original)
+++ klee/trunk/lib/Solver/STPBuilder.cpp Mon May 25 04:50:55 2009
@@ -18,6 +18,8 @@
 
 #include "llvm/Support/CommandLine.h"
 
+#include <cstdio>
+
 #define vc_bvBoolExtract IAMTHESPAWNOFSATAN
 // unclear return
 #define vc_bvLeftShiftExpr IAMTHESPAWNOFSATAN

Modified: klee/trunk/lib/Solver/Solver.cpp
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/lib/Solver/Solver.cpp?rev=72381&r1=72380&r2=72381&view=diff

==============================================================================
--- klee/trunk/lib/Solver/Solver.cpp (original)
+++ klee/trunk/lib/Solver/Solver.cpp Mon May 25 04:50:55 2009
@@ -24,6 +24,7 @@
 #define vc_bvBoolExtract IAMTHESPAWNOFSATAN
 
 #include <cassert>
+#include <cstdio>
 #include <map>
 #include <vector>