From 212a0657a2f8badb01f3128c6c66daada54bde3d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 22 Jul 2022 12:34:07 -0700
Subject: [PATCH] try .ast

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 897cd01f72e..74a3a9d2dcf 100644
--- a/src/api/js/src/high-level/high-level.ts
+++ b/src/api/js/src/high-level/high-level.ts
@@ -503,7 +503,7 @@ export function createApi(Z3: Z3Core): Z3HighLevel {
     ///////////////////////////////
 
     async function simplify(e : Expr<Name>) {
-       return _toExpr(check(Z3.simplify(contextPtr, e)));
+       return _toExpr(check(Z3.simplify(contextPtr, e.ast)));
     }
 
     /////////////