From 08bf7a62933c787c5184b64727a849b551ecf2a2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 19 Aug 2022 18:22:42 -0700
Subject: [PATCH] fix name

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.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 a2e3187ee..574944b41 100644
--- a/src/api/js/src/high-level/high-level.ts
+++ b/src/api/js/src/high-level/high-level.ts
@@ -228,7 +228,7 @@ export function createApi(Z3: Z3Core): Z3HighLevel {
            return new BoolImpl(ast);
         if (Z3.is_quantifier_exists(contextPtr, ast))
            return new BoolImpl(ast);
-        if (Z3.is_quantifier_lambda(contextPtr, ast))
+        if (Z3.is_lambda(contextPtr, ast))
            return new ExprImpl(ast);
         assert(false);
       }