From cf4149d53ed28c864f2b8c39b41149f2ac7c1a5f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 8 May 2022 10:02:41 -0700 Subject: [PATCH] freeze functions with callbacks for ocaml Signed-off-by: Nikolaj Bjorner --- scripts/update_api.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/scripts/update_api.py b/scripts/update_api.py index b7a402fd0..fafe2dc6d 100755 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -1397,7 +1397,12 @@ z3_long_funs = frozenset([ ]) z3_ml_overrides = frozenset([ - 'Z3_mk_config' + 'Z3_mk_config', + 'Z3_solver_propagate_init', + 'Z3_solver_propagate_fixed', + 'Z3_solver_propagate_eq', + 'Z3_solver_propagate_diseq', + 'Z3_solver_propagate_created' ]) def mk_z3native_stubs_c(ml_src_dir, ml_output_dir): # C interface