From: Sujit Kumar Muduli <muduli_sk@yahoo.com>
Date: Mon, 29 Nov 2021 16:37:36 +0000 (+0530)
Subject: Bug in printing parameter list in define_fun_to_string (#7700)
X-Git-Tag: cvc5-1.0.0~765
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7baa69442e6c29675ece3fcf59b7a22591e51344;p=cvc5.git

Bug in printing parameter list in define_fun_to_string (#7700)

Signed-off-by: Sujit Muduli <smuduli@cse.iitk.ac.in>
---

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