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.
leanprover · Sep 25, 2024 · 57679ee · 57679ee
1 parent 974cc33
commit 57679ee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/util/shell.cpp b/src/util/shell.cpp
@@ -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) {