diff options
author | Cristian Cadar <cristic@cs.stanford.edu> | 2011-12-11 22:08:55 +0000 |
---|---|---|
committer | Cristian Cadar <cristic@cs.stanford.edu> | 2011-12-11 22:08:55 +0000 |
commit | 0c1d5b47e31d3631c22c48dc3b54f2e10ba1766e (patch) | |
tree | c12eb047e30868c3c2f30f5c07df4e94c5e29897 /klee/tools | |
parent | e0cd2747f3f8c054691e59c1ec12eee0b9d024db (diff) |
Patch by Ben Gras fixing a few minor issues: adds missing includes,
fixes the ntohs prototype in klee-libc, and removes some unused code.
Diffstat (limited to 'klee/tools')
-rw-r--r-- | klee/tools/klee/main.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/klee/tools/klee/main.cpp b/klee/tools/klee/main.cpp index a5b8d04632f..82ced95772e 100644 --- a/klee/tools/klee/main.cpp +++ b/klee/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> |