diff options
| author | Gleb Popov <6yearold@gmail.com> | 2021-12-26 18:10:49 +0300 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-01-04 08:43:54 +0000 |
| commit | 5bdbaa464e836ef499b48136edee53fa658e1d68 (patch) | |
| tree | 504f3d326310f60ed6e5d6d84d6a6fdcdb73669c /runtime/POSIX/FreeBSD.h | |
| parent | cbd82eaa692cb2ae503ab842f5997ad3e40ded9b (diff) | |
| download | klee-5bdbaa464e836ef499b48136edee53fa658e1d68.tar.gz | |
Use more precise version check for selecting swapoff() signature.
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 |