From 57679eeff540b1df82063182663092f4aa306553 Mon Sep 17 00:00:00 2001
From: Mac Malone <tydeu@hatpress.net>
Date: Wed, 25 Sep 2024 01:42:48 -0400
Subject: [PATCH] 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.
---
 src/util/shell.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/shell.cpp b/src/util/shell.cpp
index 6310c9cc81..9892e76712 100644
--- 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) {