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