Fixed use of frozen literals in SatGen

diff --git a/kernel/satgen.h b/kernel/satgen.h
index 3ae9502f8c5904909a271bc00fcdae49529793ce..bf72a31cb80195350ca749dba7104cc9c719da4e 100644 (file)
--- 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;
        }