diff options
Diffstat (limited to 'runtime/POSIX/FreeBSD.h')
| -rw-r--r-- | runtime/POSIX/FreeBSD.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/runtime/POSIX/FreeBSD.h b/runtime/POSIX/FreeBSD.h index d4e1379e..b88d16e6 100644 --- a/runtime/POSIX/FreeBSD.h +++ b/runtime/POSIX/FreeBSD.h @@ -1,6 +1,8 @@ #ifndef KLEE_FREEBSD_H #define KLEE_FREEBSD_H +#include <sys/param.h> + // termios maps #define TCGETS TIOCGETA #define TCSETS TIOCSETA |