From 1ab7be67d0978c5ede56a9d128a4850ccff2191b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 8 May 2022 09:58:43 -0700 Subject: [PATCH] java build Signed-off-by: Nikolaj Bjorner --- scripts/update_api.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/scripts/update_api.py b/scripts/update_api.py index a3198e172..b7a402fd0 100755 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -209,13 +209,13 @@ def param_array_size_pos(p): def param2str(p): if param_kind(p) == IN_ARRAY: - return f"{type2str(param_type(p))} const *" + return "%s const *" % (type2str(param_type(p))) elif param_kind(p) == OUT_ARRAY or param_kind(p) == IN_ARRAY or param_kind(p) == INOUT_ARRAY: - return f"{type2str(param_type(p))}*" + return "%s*" % (type2str(param_type(p))) elif param_kind(p) == OUT: - return f"{type2str(param_type(p))}*" + return "%s*" % (type2str(param_type(p))) elif param_kind(p) == FN_PTR: - return f"{type2str(param_type(p))}*" + return "%s*" % (type2str(param_type(p))) else: return type2str(param_type(p))