diff options
Diffstat (limited to 'runtime/POSIX/fd_64.c')
| -rw-r--r-- | runtime/POSIX/fd_64.c | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/runtime/POSIX/fd_64.c b/runtime/POSIX/fd_64.c index 3bf48f5e..61d9dc6f 100644 --- a/runtime/POSIX/fd_64.c +++ b/runtime/POSIX/fd_64.c @@ -15,32 +15,32 @@ #endif #endif - -#include "klee/Config/Version.h" #define _LARGEFILE64_SOURCE #define _FILE_OFFSET_BITS 64 #include "fd.h" -#include <string.h> +#include "klee/Config/Version.h" +#include "klee/klee.h" + +#include <assert.h> +#include <errno.h> +#include <fcntl.h> +#include <stdarg.h> #include <stdio.h> #include <stdlib.h> -#include <errno.h> -#include <sys/syscall.h> +#include <string.h> #include <sys/stat.h> +#include <sys/syscall.h> #include <sys/types.h> -#include <fcntl.h> -#include <stdarg.h> -#include <assert.h> #ifndef __FreeBSD__ #include <sys/vfs.h> #endif -#include <unistd.h> #include <dirent.h> #include <sys/ioctl.h> #include <sys/mtio.h> -#include <termios.h> #include <sys/select.h> -#include <klee/klee.h> +#include <termios.h> +#include <unistd.h> /*** Forward to actual implementations ***/ |