diff options
Diffstat (limited to 'runtime/Runtest/intrinsics.c')
| -rw-r--r-- | runtime/Runtest/intrinsics.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/Runtest/intrinsics.c b/runtime/Runtest/intrinsics.c index 2f9243f0..cdc8c9d6 100644 --- a/runtime/Runtest/intrinsics.c +++ b/runtime/Runtest/intrinsics.c @@ -20,7 +20,7 @@ #include "klee/klee.h" -#include "klee/Internal/ADT/KTest.h" +#include "klee/ADT/KTest.h" static KTest *testData = 0; static unsigned testPosition = 0; |