diff options
| author | Kaj Tuomi <kaj.tuomi@siru.fi> | 2016-09-02 11:12:30 +0300 |
|---|---|---|
| committer | Kaj Tuomi <kaj.tuomi@siru.fi> | 2016-09-02 11:12:30 +0300 |
| commit | 279298c0b85250fd0c4e3637d10f9cf24e832259 (patch) | |
| tree | 567db4a13ca72f7213f8ea1acd35089a418d690b /backends | |
| parent | 74dd36ad5555ceae0ce153e67bf26d594e9f09da (diff) | |
| download | yosys-279298c0b85250fd0c4e3637d10f9cf24e832259.tar.gz yosys-279298c0b85250fd0c4e3637d10f9cf24e832259.tar.bz2 yosys-279298c0b85250fd0c4e3637d10f9cf24e832259.zip | |
Fix: Unresolved reference.
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 |