From 17bae9b4c1897f6ac2163aeb7f84b869b3abda77 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 31 Jan 2023 19:09:37 -0800 Subject: [PATCH] update ml api Signed-off-by: Nikolaj Bjorner --- src/api/ml/z3native.ml.pre | 1 + src/api/ml/z3native_stubs.c.pre | 1 + 2 files changed, 2 insertions(+) diff --git a/src/api/ml/z3native.ml.pre b/src/api/ml/z3native.ml.pre index 93df8ad07..1d75d5d1e 100644 --- a/src/api/ml/z3native.ml.pre +++ b/src/api/ml/z3native.ml.pre @@ -20,6 +20,7 @@ and solver = ptr and solver_callback = ptr and goal = ptr and tactic = ptr +and simplifier = ptr and params = ptr and parser_context = ptr and probe = ptr diff --git a/src/api/ml/z3native_stubs.c.pre b/src/api/ml/z3native_stubs.c.pre index e9cfa443b..038b80725 100644 --- a/src/api/ml/z3native_stubs.c.pre +++ b/src/api/ml/z3native_stubs.c.pre @@ -424,6 +424,7 @@ MK_PLUS_OBJ(func_interp, 32) MK_PLUS_OBJ(func_entry, 32) MK_PLUS_OBJ(goal, 64) MK_PLUS_OBJ(tactic, 64) +MK_PLUS_OBJ(simplifier, 64) MK_PLUS_OBJ(probe, 64) MK_PLUS_OBJ(apply_result, 32) MK_PLUS_OBJ(solver, 20 * 1000)