From b837f24d835ce529c749a089ae0e29e471512512 Mon Sep 17 00:00:00 2001
From: Alex Ozdemir <aozdemir@hmc.edu>
Date: Wed, 12 May 2021 20:47:13 -0700
Subject: [PATCH] Fix error message in toPythonObj (#6524)

---
 src/api/python/cvc5.pxi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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,
-- 
2.30.2