From 279298c0b85250fd0c4e3637d10f9cf24e832259 Mon Sep 17 00:00:00 2001
From: Kaj Tuomi <kaj.tuomi@siru.fi>
Date: Fri, 2 Sep 2016 11:12:30 +0300
Subject: [PATCH] Fix: Unresolved reference.

---
 backends/smt2/smtio.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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