diff options
Diffstat (limited to 'test/regression/2014-09-13-debug-info.c')
| -rw-r--r-- | test/regression/2014-09-13-debug-info.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regression/2014-09-13-debug-info.c b/test/regression/2014-09-13-debug-info.c index 39b276a3..5cad27f3 100644 --- a/test/regression/2014-09-13-debug-info.c +++ b/test/regression/2014-09-13-debug-info.c @@ -16,7 +16,7 @@ // CHECK: object 0: int : 32 // CHECK: object 0: int : 99 -#include <klee/klee.h> +#include "klee/klee.h" void f0(void) {} void f1(void) {} |