diff options
Diffstat (limited to 'include/args.h')
| -rw-r--r-- | include/args.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/args.h b/include/args.h index 6b68ed300440..d53785067237 100644 --- a/include/args.h +++ b/include/args.h @@ -39,7 +39,7 @@ #include <status.h> #include <vm.h> -void bc_args(int argc, char *argv[]); +void bc_args(int argc, char *argv[], bool exit_exprs); extern const char* const bc_args_env_name; |