From 1289937d1a7b0aa28b311dcbb59a4338a7de8149 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 31 Jan 2023 19:19:41 -0800 Subject: [PATCH] update ml api Signed-off-by: Nikolaj Bjorner --- src/api/ml/z3.mli | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/api/ml/z3.mli b/src/api/ml/z3.mli index 511169356..96d68d139 100644 --- a/src/api/ml/z3.mli +++ b/src/api/ml/z3.mli @@ -3112,9 +3112,6 @@ sig (** Retrieves parameter descriptions for Simplifiers. *) val get_param_descrs : simplifier -> Params.ParamDescrs.param_descrs - (** Apply the simplifier to the goal. *) - val apply : simplifier -> Goal.goal -> Params.params option -> ApplyResult.apply_result - (** The number of supported simplifiers. *) val get_num_simplifiers : context -> int