aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--backends/smt2/smtio.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index cf14333c4..f65c87ffb 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -511,6 +511,8 @@ class SmtIo:
def net_expr(self, mod, base, path):
if len(path) == 1:
assert mod in self.modinfo
+ if path[0] in self.modinfo[mod].cells:
+ return "(|%s_h %s| %s)" % (mod, path[0], base)
if path[0] in self.modinfo[mod].wsize:
return "(|%s_n %s| %s)" % (mod, path[0], base)
if path[0] in self.modinfo[mod].memories: