about summary refs log tree commit diff homepage
path: root/runtime/POSIX/fd.h
diff options
context:
space:
mode:
Diffstat (limited to 'runtime/POSIX/fd.h')
-rw-r--r--runtime/POSIX/fd.h2
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);