From f3b51db89170f982301a7a15a01bf063b7fefd0e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 4 Jul 2020 16:22:01 -0700 Subject: [PATCH] ml build Signed-off-by: Nikolaj Bjorner --- src/api/ml/z3.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/ml/z3.mli b/src/api/ml/z3.mli index c19d39801..fbbf8735b 100644 --- a/src/api/ml/z3.mli +++ b/src/api/ml/z3.mli @@ -329,11 +329,11 @@ sig (** Creates a function declaration that can be used in a recursive function definition. {!add_rec_def} *) - val mk_rec_fun : context > Symbol.symbol -> Sort.sort list -> Sort.sort -> func_decl + val mk_rec_fun : context -> Symbol.symbol -> Sort.sort list -> Sort.sort -> func_decl (** Creates a function declaration that can be used in a recursive function definition. {!add_rec_def} *) - val mk_rec_fun_s : context > string -> Sort.sort list -> Sort.sort -> func_decl + val mk_rec_fun_s : context -> string -> Sort.sort list -> Sort.sort -> func_decl (** Registers a recursive function definition *) val add_rec_def : context -> func_decl -> Expr.expr list -> Expr.expr -> unit