diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-08-26 17:33:02 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-08-26 17:33:02 +0200 |
| commit | 17233b11e185d2c863ccd06830e8cd0d2be38e83 (patch) | |
| tree | 03e91a1d67251e2b190c8f10e4528bf5d6dc6f99 /backends/smt2/smtio.py | |
| parent | 4be4969bae5d99af572ca99859dc4a550c24d4cf (diff) | |
| download | yosys-17233b11e185d2c863ccd06830e8cd0d2be38e83.tar.gz yosys-17233b11e185d2c863ccd06830e8cd0d2be38e83.tar.bz2 yosys-17233b11e185d2c863ccd06830e8cd0d2be38e83.zip | |
Various fixes and improvements in smt2 back-end
Diffstat (limited to 'backends/smt2/smtio.py')
| -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 0b2263338..da9d4830f 100644 --- a/backends/smt2/smtio.py +++ b/backends/smt2/smtio.py @@ -375,7 +375,7 @@ class smtio: nextmod = self.modinfo[mod].cells[path[0]] nextbase = "(|%s_h %s| %s)" % (mod, path[0], base) - return self.mem_expr(nextmod, nextbase, path[1:]) + return self.mem_expr(nextmod, nextbase, path[1:], portidx=portidx, infomode=infomode) def mem_info(self, mod, base, path): return self.mem_expr(mod, base, path, infomode=True) |