diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-12-11 21:46:36 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-12-11 21:46:36 +0100 |
commit | 7775d2806fe082626103f5abffd95fe9e1fccc27 (patch) | |
tree | 70c4e6e4e1feb80df2dbde6ca46361317dc34635 /kernel/rtlil.cc | |
parent | df52eedb3025c5250931c29c2417fbd0129500e1 (diff) |
Added IdString::destruct_guard hack
Diffstat (limited to 'kernel/rtlil.cc')
-rw-r--r-- | kernel/rtlil.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/rtlil.cc b/kernel/rtlil.cc index f5dbafe1..5c010dab 100644 --- a/kernel/rtlil.cc +++ b/kernel/rtlil.cc @@ -27,6 +27,7 @@ YOSYS_NAMESPACE_BEGIN +RTLIL::IdString::destruct_guard_t RTLIL::IdString::destruct_guard; std::vector<int> RTLIL::IdString::global_refcount_storage_; std::vector<char*> RTLIL::IdString::global_id_storage_; std::map<char*, int, RTLIL::IdString::char_ptr_cmp> RTLIL::IdString::global_id_index_; |