1 files changed, 2 insertions, 1 deletions
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;