2 files changed, 4 insertions, 2 deletions
diff --git a/test/Feature/ExitOnErrorType.c b/test/Feature/ExitOnErrorType.c
index b1a55466..50696da6 100644
--- a/test/Feature/ExitOnErrorType.c
+++ b/test/Feature/ExitOnErrorType.c
@@ -2,8 +2,9 @@
 // RUN: rm -rf %t.klee-out
 // RUN: %klee --output-dir=%t.klee-out -exit-on-error-type Assert %t1.bc 2>&1
 
+#include "klee/klee.h"
+
 #include <assert.h>
-#include <klee/klee.h>
 
 int main() {
   assert(klee_int("assert"));
diff --git a/test/Feature/RewriteEqualities.c b/test/Feature/RewriteEqualities.c
index ee77f3e1..ed36ce74 100644
--- a/test/Feature/RewriteEqualities.c
+++ b/test/Feature/RewriteEqualities.c
@@ -7,8 +7,9 @@
 // RUN: %klee --output-dir=%t.klee-out --search=dfs --write-kqueries --rewrite-equalities %t.bc
 // RUN: FileCheck -input-file=%t.klee-out/test000003.kquery %s
 
+#include "klee/klee.h"
+
 #include <stdio.h>
-#include <klee/klee.h>
 
 int run(unsigned char * x, unsigned char * y) {
   y[6] = 15;