update ml api

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Feb 1, 2023 · 63c0f35 · 63c0f35
1 parent d51d518
commit 63c0f35
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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