From 63c0f35978773c24f8c29c6279e1f0d3c99215ac Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 31 Jan 2023 19:27:17 -0800 Subject: [PATCH] update ml api Signed-off-by: Nikolaj Bjorner --- src/api/ml/z3.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/ml/z3.ml b/src/api/ml/z3.ml index d71b3b21f..ac21902fe 100644 --- a/src/api/ml/z3.ml +++ b/src/api/ml/z3.ml @@ -1750,7 +1750,7 @@ struct let f i = Z3native.get_simplifier_name ctx i in mk_list f n - let get_simplifier_description (ctx:context) (s:string) = Z3native.simplifier_get_descr + let get_simplifier_description = Z3native.simplifier_get_descr let mk_simplifier = Z3native.mk_simplifier