From 1461a53347ce22c38218ad23c86d41d30a6a6bdc Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 2 Mar 2026 16:22:08 +0000
Subject: [PATCH] Fix TypeScript Array.fromFunc to use f.ptr instead of f.ast
 for Z3_func_decl type

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@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 db2048573..c88929221 100644
--- a/src/api/js/src/high-level/high-level.ts
+++ b/src/api/js/src/high-level/high-level.ts
@@ -1094,7 +1094,7 @@ export function createApi(Z3: Z3Core, em?: any): Z3HighLevel {
         return new ArrayImpl<[DomainSort], RangeSort>(check(Z3.mk_const_array(contextPtr, domain.ptr, value.ptr)));
       },
       fromFunc(f: FuncDecl<Name>): SMTArray<Name> {
-        return new ArrayImpl(check(Z3.mk_as_array(contextPtr, f.ast)));
+        return new ArrayImpl(check(Z3.mk_as_array(contextPtr, f.ptr)));
       },
     };
     const Set = {