mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 13:29:11 +00:00
Code Activity

fix name

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-08-19 18:22:42 -07:00
parent 665ef2c6ba
commit 08bf7a6293
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

@ -228,7 +228,7 @@ export function createApi(Z3: Z3Core): Z3HighLevel {
return new BoolImpl(ast); return new BoolImpl(ast);
if (Z3.is_quantifier_exists(contextPtr, ast)) if (Z3.is_quantifier_exists(contextPtr, ast))
return new BoolImpl(ast); return new BoolImpl(ast);
if (Z3.is_quantifier_lambda(contextPtr, ast)) if (Z3.is_lambda(contextPtr, ast))
return new ExprImpl(ast); return new ExprImpl(ast);
assert(false); assert(false);
} }