From 9e7c0745d75af797dd8a8915020c0e4d6f81b23f Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 25 May 2026 16:49:00 +0000
Subject: [PATCH] docs: align locateFile examples with init type

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 | 2 +-
 src/api/js/src/node.ts         | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/api/js/PUBLISHED_README.md b/src/api/js/PUBLISHED_README.md
index 3ceb9122c..d05e607a5 100644
--- a/src/api/js/PUBLISHED_README.md
+++ b/src/api/js/PUBLISHED_README.md
@@ -22,7 +22,7 @@ The `init` function also accepts an optional Emscripten module overrides object.
 import { init } from 'npm:z3-solver';
 
 const api = await init({
-  locateFile: (file) => import.meta.resolve(`npm:z3-solver/build/${file}`),
+  locateFile: (file, _prefix) => import.meta.resolve(`npm:z3-solver/build/${file}`),
 });
 ```
 
diff --git a/src/api/js/src/node.ts b/src/api/js/src/node.ts
index c25387ccb..04319e368 100644
--- a/src/api/js/src/node.ts
+++ b/src/api/js/src/node.ts
@@ -33,7 +33,7 @@ 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) => import.meta.resolve(`npm:z3-solver/build/${file}`),
+ * //   locateFile: (file, _prefix) => import.meta.resolve(`npm:z3-solver/build/${file}`),
  * // });
  * ```
  * @category Global */