From 40d370b55bec6e69e6bd1fb704d20d3fa5ebb820 Mon Sep 17 00:00:00 2001 From: yhx-12243 Date: Mon, 27 Jul 2026 23:23:40 +0800 Subject: [PATCH] fix: Use `globalThis` instead of `global` (#10249) There are no `global`s in browser context. `globalThis` applied to both browser and node. --------- Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com> --- src/api/js/src/high-level/high-level.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/js/src/high-level/high-level.ts b/src/api/js/src/high-level/high-level.ts index f336fe30ba..5625637fb7 100644 --- a/src/api/js/src/high-level/high-level.ts +++ b/src/api/js/src/high-level/high-level.ts @@ -2796,7 +2796,7 @@ export function createApi(Z3: Z3Core, em?: any): Z3HighLevel { for (let i = 0; i < a.numEntries(); i++) { const e = a.entry(i); const n = e.numArgs(); - const args = global.Array(n).map((_, i) => e.argValue(i)); + const args = globalThis.Array.from({ length: n }, (_, i) => e.argValue(i)); funcInterp.addEntry(args, e.value()); } return;