From 968721e74fb48331af90446419b703a717954fa9 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Wed, 6 Nov 2019 22:02:36 +0000 Subject: Allow main with 3 arguments --- tools/klee-replay/klee_init_env.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/klee-replay') diff --git a/tools/klee-replay/klee_init_env.c b/tools/klee-replay/klee_init_env.c index 5e9dd06c..b0b6e912 100644 --- a/tools/klee-replay/klee_init_env.c +++ b/tools/klee-replay/klee_init_env.c @@ -1,3 +1,3 @@ #include "../../runtime/POSIX/klee_init_env.c" -int __klee_posix_wrapped_main(int argc, char **argv) { return 0; } +int __klee_posix_wrapped_main(int argc, char **argv, char **envp) { return 0; } -- cgit 1.4.1