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/btor | |
| parent | 3a6abc9bf6a37f1f098522d80483c836c78ff85b (diff) | |
| download | yosys-4c733301e6d13b6b13aef4549f262d05007ffc9f.tar.gz yosys-4c733301e6d13b6b13aef4549f262d05007ffc9f.tar.bz2 yosys-4c733301e6d13b6b13aef4549f262d05007ffc9f.zip | |
Fixed cstr_buf for std::string with small string optimization
Diffstat (limited to 'backends/btor')
| -rw-r--r-- | backends/btor/btor.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index bcee505be..079a82a2f 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) { |