summaryrefslogtreecommitdiff
path: root/kernel/satgen.h
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-10-10 17:22:08 +0200
committerClifford Wolf <clifford@clifford.at>2014-10-10 17:22:08 +0200
commitbbd808072be859074a023795a15bebab87cbfba8 (patch)
tree970f9b71b8f858e62f273d1cdf2f2fdca85becdb /kernel/satgen.h
parent7cb0d3aa1acf37025e82846f809d066356a98843 (diff)
Added format __attribute__ to stringf()
Diffstat (limited to 'kernel/satgen.h')
-rw-r--r--kernel/satgen.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/satgen.h b/kernel/satgen.h
index 779c9750..d556f4f3 100644
--- a/kernel/satgen.h
+++ b/kernel/satgen.h
@@ -68,7 +68,7 @@ struct SatGen
else
vec.push_back(bit == (undef_mode ? RTLIL::State::Sx : RTLIL::State::S1) ? ez->CONST_TRUE : ez->CONST_FALSE);
} else {
- std::string name = pf + stringf(bit.wire->width == 1 ? "%s" : "%s [%d]", RTLIL::id2cstr(bit.wire->name), bit.offset);
+ std::string name = pf + (bit.wire->width == 1 ? stringf("%s", log_id(bit.wire)) : stringf("%s [%d]", log_id(bit.wire->name), bit.offset));
vec.push_back(ez->frozen_literal(name));
imported_signals[pf][bit] = vec.back();
}