From 5ea145ce26fb82d01432e856f70b82c891265de3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 4 Jul 2020 17:08:22 -0700 Subject: [PATCH] ml Signed-off-by: Nikolaj Bjorner --- src/api/ml/z3.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/ml/z3.ml b/src/api/ml/z3.ml index 0bb4e4ff2..840bd0f03 100644 --- a/src/api/ml/z3.ml +++ b/src/api/ml/z3.ml @@ -263,8 +263,8 @@ sig end val mk_func_decl : context -> Symbol.symbol -> Sort.sort list -> Sort.sort -> func_decl 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 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 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