diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-06-11 13:39:49 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-06-11 13:39:49 +0200 |
| commit | 4c733301e6d13b6b13aef4549f262d05007ffc9f (patch) | |
| tree | f99c4fd79f0371c58ab1502bd49248a941be495b /backends | |
| parent | 3a6abc9bf6a37f1f098522d80483c836c78ff85b (diff) | |
Fixed cstr_buf for std::string with small string optimization
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/blif/blif.cc | 2 | ||||
| -rw-r--r-- | backends/btor/btor.cc | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/backends/blif/blif.cc b/backends/blif/blif.cc index c257e496..af6f8726 100644 --- a/backends/blif/blif.cc +++ b/backends/blif/blif.cc @@ -61,7 +61,7 @@ struct BlifDumper { } - std::vector<std::string> cstr_buf; + vector<shared_str> cstr_buf; const char *cstr(RTLIL::IdString id) { diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index bcee505b..079a82a2 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -155,7 +155,7 @@ struct BtorDumper } - std::vector<std::string> cstr_buf; + vector<shared_str> cstr_buf; const char *cstr(const RTLIL::IdString id) { |