diff options
| author | Alex Ozdemir <aozdemir@hmc.edu> | 2021-05-12 20:47:13 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-13 03:47:13 +0000 |
| commit | b837f24d835ce529c749a089ae0e29e471512512 (patch) | |
| tree | 13c32896a79fb6bce245bd67031b3737544070fc /src/api | |
| parent | 62e1f3ffd0688bc229130a1964c3e50b4575e48f (diff) | |
Fix error message in toPythonObj (#6524)
Diffstat (limited to 'src/api')
| -rw-r--r-- | src/api/python/cvc5.pxi | 2 |
1 files changed, 1 insertions, 1 deletions
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, |