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