From 7baa69442e6c29675ece3fcf59b7a22591e51344 Mon Sep 17 00:00:00 2001 From: Sujit Kumar Muduli Date: Mon, 29 Nov 2021 22:07:36 +0530 Subject: [PATCH] Bug in printing parameter list in define_fun_to_string (#7700) Signed-off-by: Sujit Muduli --- examples/api/python/utils.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/examples/api/python/utils.py b/examples/api/python/utils.py index 23b41d50d..6d42325b5 100644 --- a/examples/api/python/utils.py +++ b/examples/api/python/utils.py @@ -33,8 +33,7 @@ def define_fun_to_string(f, params, body): for i in range(0, len(params)): if i > 0: result += " " - else: - result += "(" + str(params[i]) + " " + str(params[i].getSort()) + ")" + result += "(" + str(params[i]) + " " + str(params[i].getSort()) + ")" result += ") " + str(sort) + " " + str(body) + ")" return result -- 2.30.2