diff options
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 c257e4964..af6f8726a 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 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) { |