diff options
Diffstat (limited to 'runtime/POSIX/fd.h')
-rw-r--r-- | runtime/POSIX/fd.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/POSIX/fd.h b/runtime/POSIX/fd.h index 87d967ee..24a350dc 100644 --- a/runtime/POSIX/fd.h +++ b/runtime/POSIX/fd.h @@ -103,7 +103,7 @@ extern exe_file_system_t __exe_fs; extern exe_sym_env_t __exe_env; void klee_init_fds(unsigned n_files, unsigned file_length, - unsigned stdin_length, int sym_stdout_flag, + unsigned stdin_length, unsigned stdout_length, int do_all_writes_flag, unsigned max_failures); void klee_init_env(int *argcPtr, char ***argvPtr); |