Fix: Unresolved reference.

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index fc7d1e13d19b1a5b95fe4f0a0dff9fcbbd6bdcfa..e5c8b231c680c0362f5832939ef89c2888328657 100644 (file)
--- 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