try .ast

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Jul 22, 2022 · 212a065 · 212a065
1 parent 7c0ec21
commit 212a065
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)));
     }
 
     /////////////