about summary refs log tree commit diff homepage
path: root/runtime/Intrinsic/klee_div_zero_check.c
diff options
context:
space:
mode:
Diffstat (limited to 'runtime/Intrinsic/klee_div_zero_check.c')
-rw-r--r--runtime/Intrinsic/klee_div_zero_check.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/Intrinsic/klee_div_zero_check.c b/runtime/Intrinsic/klee_div_zero_check.c
index 3fde1af5..36cf8807 100644
--- a/runtime/Intrinsic/klee_div_zero_check.c
+++ b/runtime/Intrinsic/klee_div_zero_check.c
@@ -7,7 +7,7 @@
 //
 //===----------------------------------------------------------------------===//
 
-#include <klee/klee.h>
+#include "klee/klee.h"
 
 void klee_div_zero_check(long long z) {
   if (z == 0)