[llvm-commits] [klee] r72270 - /klee/trunk/lib/Solver/Solver.cpp

Daniel Dunbar daniel at zuster.org
Fri May 22 11:45:49 PDT 2009


Author: ddunbar
Date: Fri May 22 13:45:48 2009
New Revision: 72270

URL: http://llvm.org/viewvc/llvm-project?rev=72270&view=rev
Log:
Add missing include (for FreeBSD build)

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

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

==============================================================================
--- klee/trunk/lib/Solver/Solver.cpp (original)
+++ klee/trunk/lib/Solver/Solver.cpp Fri May 22 13:45:48 2009
@@ -27,6 +27,7 @@
 #include <map>
 #include <vector>
 
+#include <signal.h>
 #include <sys/wait.h>
 #include <sys/ipc.h>
 #include <sys/shm.h>





More information about the llvm-commits mailing list