projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: eec5a21)
Bug in printing parameter list in define_fun_to_string (#7700)
authorSujit Kumar Muduli <muduli_sk@yahoo.com>
Mon, 29 Nov 2021 16:37:36 +0000 (22:07 +0530)
committerGitHub <noreply@github.com>
Mon, 29 Nov 2021 16:37:36 +0000 (16:37 +0000)
Signed-off-by: Sujit Muduli <smuduli@cse.iitk.ac.in>
examples/api/python/utils.py patch | blob | history

diff --git a/examples/api/python/utils.py b/examples/api/python/utils.py
index 23b41d50d8fa9b96ae21a3126b2f894e21011554..6d42325b56152abc3c7072362f2e28349132eec7 100644 (file)
--- 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