From 5253f9af9d055096a4f6c8f824ba5f63f2d7f84a Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Fri, 20 Feb 2026 04:31:18 +0000 Subject: [PATCH] Fix TypeScript type error: explicitly type consVec as AstVectorImpl> 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 9dc5a6e08..da094baba 100644 --- a/src/api/js/src/high-level/high-level.ts +++ b/src/api/js/src/high-level/high-level.ts @@ -2120,7 +2120,7 @@ export function createApi(Z3: Z3Core): Z3HighLevel { ): Promise<[CheckSatResult, AstVector>]> { const asmsVec = new AstVectorImpl(); const varsVec = new AstVectorImpl(); - const consVec = new AstVectorImpl(); + const consVec = new AstVectorImpl>(); _flattenArgs(assumptions).forEach(expr => { _assertContext(expr); Z3.ast_vector_push(contextPtr, asmsVec.ptr, expr.ast);