summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-03-06 13:08:44 +0100
committerClifford Wolf <clifford@clifford.at>2014-03-06 13:08:44 +0100
commit97710ffad5d4750b538dac5f08b77dce37e3cda4 (patch)
treeed01d47d07ea85576b8080b86223df3b1c5335ea
parent8406e7f7b6cb8e79f7df02c2c616073a51c1ea9e (diff)
Fixed use of frozen literals in SatGen
-rw-r--r--kernel/satgen.h5
1 files changed, 2 insertions, 3 deletions
diff --git a/kernel/satgen.h b/kernel/satgen.h
index 3ae9502f..bf72a31c 100644
--- a/kernel/satgen.h
+++ b/kernel/satgen.h
@@ -66,13 +66,12 @@ struct SatGen
if (c.wire == NULL) {
RTLIL::State bit = c.data.bits.at(0);
if (model_undef && dup_undef && bit == RTLIL::State::Sx)
- vec.push_back(ez->literal());
+ vec.push_back(ez->frozen_literal());
else
vec.push_back(bit == (undef_mode ? RTLIL::State::Sx : RTLIL::State::S1) ? ez->TRUE : ez->FALSE);
} 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());
+ vec.push_back(ez->frozen_literal(name));
}
return vec;
}