[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