From b87ccb54f650d748139e6a6d41fad72c5527ecda Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Fri, 22 May 2009 18:45:48 +0000
Subject: Add missing include (for FreeBSD build)

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72270 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/Solver/Solver.cpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/Solver')

diff --git a/lib/Solver/Solver.cpp b/lib/Solver/Solver.cpp
index 24d3ef86..43d673ff 100644
--- a/lib/Solver/Solver.cpp
+++ b/lib/Solver/Solver.cpp
@@ -27,6 +27,7 @@
 #include <map>
 #include <vector>
 
+#include <signal.h>
 #include <sys/wait.h>
 #include <sys/ipc.h>
 #include <sys/shm.h>
-- 
cgit 1.4.1