diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-12-29 21:26:15 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-12-29 21:26:15 +0100 |
| commit | d72a66644035d43f81afa78283ecf15c520909ec (patch) | |
| tree | 75b6c5e087bc12b0ad4cd743dd9da354b65f086e | |
| parent | 2f1e6aa2564bdc5d9f1a5fd8e879322739e0ffa3 (diff) | |
Put dummy reference to empty idstring in yosys_shutdown()
| -rw-r--r-- | kernel/yosys.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/kernel/yosys.cc b/kernel/yosys.cc index fa9fffa6..ac1bc7ab 100644 --- a/kernel/yosys.cc +++ b/kernel/yosys.cc @@ -420,6 +420,9 @@ void yosys_shutdown() loaded_plugins.clear(); loaded_plugin_aliases.clear(); #endif + + IdString empty_id; + IdString::put_reference(empty_id.index_); } RTLIL::IdString new_id(std::string file, int line, std::string func) |