1 files changed, 5 insertions, 5 deletions
diff --git a/runtime/POSIX/illegal.c b/runtime/POSIX/illegal.c
index 8b8c0134..8ded0987 100644
--- a/runtime/POSIX/illegal.c
+++ b/runtime/POSIX/illegal.c
@@ -7,14 +7,14 @@
 //
 //===----------------------------------------------------------------------===//
 
-#include <stdio.h>
+#include "klee/klee.h"
+
 #include <errno.h>
-#include <unistd.h>
-#include <signal.h>
 #include <setjmp.h>
+#include <signal.h>
+#include <stdio.h>
 #include <sys/types.h>
-
-#include <klee/klee.h>
+#include <unistd.h>
 
 void klee_warning(const char*);
 void klee_warning_once(const char*);