fix: typo in run_new_frontend signature (#4685)
Fixes a mixed up between the parameter and global variable for `json_output` the occurred during some name juggling in #3939.
This commit is contained in:
parent
974cc3306c
commit
57679eeff5
1 changed files with 1 additions and 1 deletions
|
|
@ -362,7 +362,7 @@ pair_ref<environment, object_ref> run_new_frontend(
|
|||
name const & main_module_name,
|
||||
uint32_t trust_level,
|
||||
optional<std::string> const & ilean_file_name,
|
||||
uint8_t json
|
||||
uint8_t json_output
|
||||
) {
|
||||
object * oilean_file_name = mk_option_none();
|
||||
if (ilean_file_name) {
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue