1 files changed, 10 insertions, 9 deletions
diff --git a/runtime/POSIX/fd.c b/runtime/POSIX/fd.c
index 5a3faa16..a2cbe0ab 100644
--- a/runtime/POSIX/fd.c
+++ b/runtime/POSIX/fd.c
@@ -10,27 +10,28 @@
 #define _LARGEFILE64_SOURCE
 #include "fd.h"
 
-#include <string.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 <sys/time.h>
+#include <termios.h>
+#include <unistd.h>
 
 /* Returns pointer to the symbolic file structure fs the pathname is symbolic */
 static exe_disk_file_t *__get_sym_file(const char *pathname) {