From e856cc0ecdbfa7f0f07c459af2a2f3ed5a8f7515 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Sun, 11 Dec 2011 22:08:55 +0000
Subject: Patch by Ben Gras fixing a few minor issues: adds missing includes,
 fixes the ntohs prototype in klee-libc, and removes some unused code.

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

(limited to 'tools')

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index a5b8d046..82ced957 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -51,6 +51,7 @@
 #include <fstream>
 #include <cerrno>
 #include <dirent.h>
+#include <unistd.h>
 #include <errno.h>
 #include <sys/stat.h>
 #include <sys/wait.h>
-- 
cgit 1.4.1