From: Alex Ozdemir <aozdemir@hmc.edu>
Date: Thu, 13 May 2021 03:47:13 +0000 (-0700)
Subject: Fix error message in toPythonObj (#6524)
X-Git-Tag: cvc5-1.0.0~1769
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b837f24d835ce529c749a089ae0e29e471512512;p=cvc5.git

Fix error message in toPythonObj (#6524)
---

diff --git a/src/api/python/cvc5.pxi b/src/api/python/cvc5.pxi
index f38a953ee..fc14c1fca 100644
--- a/src/api/python/cvc5.pxi
+++ b/src/api/python/cvc5.pxi
@@ -663,7 +663,7 @@ cdef class Solver:
                 op.cop = self.csolver.mkOp(k.k, <int?> arg0)
             else:
                 raise ValueError("Unsupported signature"
-                                 " mkOp: {}".format(" X ".join([k, arg0])))
+                                 " mkOp: {}".format(" X ".join([str(k), str(arg0)])))
         else:
             if isinstance(arg0, int) and isinstance(arg1, int):
                 op.cop = self.csolver.mkOp(k.k, <int> arg0,