From afd1f2fdb3331cc607044c6b7f5d1d37c13ff1ca Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 25 May 2026 16:50:08 +0000
Subject: [PATCH] docs: clarify locateFile example details

Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/3070f139-a412-4e40-8446-bd569f9ffa55

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/api/js/PUBLISHED_README.md | 3 ++-
 src/api/js/src/node.ts         | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/api/js/PUBLISHED_README.md b/src/api/js/PUBLISHED_README.md
index d05e607a5..85987ba7a 100644
--- a/src/api/js/PUBLISHED_README.md
+++ b/src/api/js/PUBLISHED_README.md
@@ -22,7 +22,8 @@ The `init` function also accepts an optional Emscripten module overrides object.
 import { init } from 'npm:z3-solver';
 
 const api = await init({
-  locateFile: (file, _prefix) => import.meta.resolve(`npm:z3-solver/build/${file}`),
+  locateFile: (file, _prefix): string =>
+    import.meta.resolve(`npm:z3-solver/build/${file}`), // _prefix is unused here
 });
 ```
 
diff --git a/src/api/js/src/node.ts b/src/api/js/src/node.ts
index 04319e368..a2e4f3e0c 100644
--- a/src/api/js/src/node.ts
+++ b/src/api/js/src/node.ts
@@ -33,7 +33,8 @@ export * from './low-level/types.__GENERATED__';
  * // Deno users can provide an Emscripten locateFile hook to load the wasm
  * // through npm's asset resolution instead of filesystem reads.
  * // const api = await init({
- * //   locateFile: (file, _prefix) => import.meta.resolve(`npm:z3-solver/build/${file}`),
+ * //   locateFile: (file, _prefix): string =>
+ * //     import.meta.resolve(`npm:z3-solver/build/${file}`), // _prefix is unused here
  * // });
  * ```
  * @category Global */