diff options
Diffstat (limited to 'test/Merging/merge_fail.c')
| -rw-r--r-- | test/Merging/merge_fail.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Merging/merge_fail.c b/test/Merging/merge_fail.c index 23ddb0d0..8cfd40f0 100644 --- a/test/Merging/merge_fail.c +++ b/test/Merging/merge_fail.c @@ -11,7 +11,7 @@ // This test will not merge because we cannot merge states when they allocated memory. -#include <klee/klee.h> +#include "klee/klee.h" int main(int argc, char **args) { |