25a26
> #include <typeindex>
43c44
< typedef std::map<sc_core::sc_type_index, key_type> type_map;
---
> typedef std::map<std::type_index, key_type> type_map;
57c58
< register_extension(sc_core::sc_type_index type)
---
> register_extension(std::type_index type)