mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-22 16:27:37 +00:00
Code Activity

Fix TypeScript type error: explicitly type consVec as AstVectorImpl<Bool<Name>>

Browse source 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-02-20 04:31:18 +00:00
parent 8d79e21aa7
commit 5253f9af9d
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/js/src/high-level/high-level.ts
View file

@ -2120,7 +2120,7 @@ export function createApi(Z3: Z3Core): Z3HighLevel {
): Promise<[CheckSatResult, AstVector<Name, Bool<Name>>]> {
const asmsVec = new AstVectorImpl();
const varsVec = new AstVectorImpl();
const consVec = new AstVectorImpl();
const consVec = new AstVectorImpl<Bool<Name>>();
_flattenArgs(assumptions).forEach(expr => {
_assertContext(expr);
Z3.ast_vector_push(contextPtr, asmsVec.ptr, expr.ast);