diff options
Diffstat (limited to 'tools/klee-replay/klee-replay.h')
| -rw-r--r-- | tools/klee-replay/klee-replay.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/klee-replay/klee-replay.h b/tools/klee-replay/klee-replay.h index 668b5e3e..09cb6603 100644 --- a/tools/klee-replay/klee-replay.h +++ b/tools/klee-replay/klee-replay.h @@ -13,6 +13,7 @@ #define _LARGEFILE64_SOURCE #define _FILE_OFFSET_BITS 64 +#include "klee/Config/config.h" // FIXME: This is a hack. #include "../../runtime/POSIX/fd.h" #include <sys/time.h> |