From: Kaj Tuomi <kaj.tuomi@siru.fi>
Date: Fri, 2 Sep 2016 08:12:30 +0000 (+0300)
Subject: Fix: Unresolved reference.
X-Git-Tag: yosys-0.7~85^2~5
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=279298c0b85250fd0c4e3637d10f9cf24e832259;p=yosys.git

Fix: Unresolved reference.
---

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