diff options
| -rw-r--r-- | tools/gen-bout/gen-bout.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/gen-bout/gen-bout.cpp b/tools/gen-bout/gen-bout.cpp index 17a65993..1fe5e698 100644 --- a/tools/gen-bout/gen-bout.cpp +++ b/tools/gen-bout/gen-bout.cpp @@ -18,7 +18,7 @@ #include "klee/Internal/ADT/KTest.h" -#if defined(__FreeBSD__) || defined(__minix) +#if defined(__FreeBSD__) || defined(__minix) || defined(__APPLE__) #define stat64 stat #endif |