From 1155ea69a19a535a5163611ce29eb14a115c388c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 22 Jul 2022 12:42:19 -0700
Subject: [PATCH] add await

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/js/src/high-level/high-level.ts | 3 ++-
 1 file changed, 2 insertions(+), 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 74a3a9d2d..a5e27429b 100644
--- a/src/api/js/src/high-level/high-level.ts
+++ b/src/api/js/src/high-level/high-level.ts
@@ -503,7 +503,8 @@ export function createApi(Z3: Z3Core): Z3HighLevel {
     ///////////////////////////////
 
     async function simplify(e : Expr<Name>) {
-       return _toExpr(check(Z3.simplify(contextPtr, e.ast)));
+       const result = await Z3.simplify(contextPtr, e.ast)       
+       return _toExpr(check(result));
     }
 
     /////////////