From 665ef2c6bae91fb13e7cf4f9aab37b89d08c473a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 19 Aug 2022 18:21:03 -0700 Subject: [PATCH] add missing new Signed-off-by: Nikolaj Bjorner --- src/api/js/src/high-level/high-level.ts | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/api/js/src/high-level/high-level.ts b/src/api/js/src/high-level/high-level.ts index 797d3a0ce..a2e3187ee 100644 --- a/src/api/js/src/high-level/high-level.ts +++ b/src/api/js/src/high-level/high-level.ts @@ -225,11 +225,11 @@ export function createApi(Z3: Z3Core): Z3HighLevel { const kind = check(Z3.get_ast_kind(contextPtr, ast)); if (kind === Z3_ast_kind.Z3_QUANTIFIER_AST) { if (Z3.is_quantifier_forall(contextPtr, ast)) - return BoolImpl(ast); + return new BoolImpl(ast); if (Z3.is_quantifier_exists(contextPtr, ast)) - return BoolImpl(ast); + return new BoolImpl(ast); if (Z3.is_quantifier_lambda(contextPtr, ast)) - return ExprImpl(ast); + return new ExprImpl(ast); assert(false); } const sortKind = check(Z3.get_sort_kind(contextPtr, Z3.get_sort(contextPtr, ast)));