diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/satgen.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/satgen.h b/kernel/satgen.h index 840700cbd..539210442 100644 --- a/kernel/satgen.h +++ b/kernel/satgen.h @@ -72,6 +72,7 @@ struct SatGen } else { std::string name = pf + stringf(c.wire->width == 1 ? "%s" : "%s [%d]", RTLIL::id2cstr(c.wire->name), c.offset); vec.push_back(ez->literal(name)); + ez->freeze(vec.back()); } return vec; } |