diff options
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/smt2/smtio.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py index fc7d1e13d..e5c8b231c 100644 --- a/backends/smt2/smtio.py +++ b/backends/smt2/smtio.py @@ -274,7 +274,7 @@ class smtio: def bv2hex(self, v): h = "" - v = bv2bin(v) + v = self.bv2bin(v) while len(v) > 0: d = 0 if len(v) > 0 and v[-1] == "1": d += 1 |