diff --git a/src/api/ml/z3.ml b/src/api/ml/z3.ml
index 840bd0f03..bf1a8707c 100644
--- a/src/api/ml/z3.ml
+++ b/src/api/ml/z3.ml
@@ -265,6 +265,7 @@ sig
   val mk_func_decl_s : context -> string -> Sort.sort list -> Sort.sort -> func_decl
   val mk_rec_fun : context -> Symbol.symbol -> Sort.sort list -> Sort.sort -> func_decl
   val mk_rec_fun_s : context -> string -> Sort.sort list -> Sort.sort -> func_decl
+  val add_rec_def : context -> func_decl -> Expr.expr list -> Expr.expr -> unit
   val mk_fresh_func_decl : context -> string -> Sort.sort list -> Sort.sort -> func_decl
   val mk_const_decl : context -> Symbol.symbol -> Sort.sort -> func_decl
   val mk_const_decl_s : context -> string -> Sort.sort -> func_decl