23a24
> #include <typeindex>
25,26d25
< using sc_core::sc_type_index;
<
42c41
< typedef std::map<sc_core::sc_type_index, key_type> type_map;
---
> typedef std::map<std::type_index, key_type> type_map;
55c54
< register_extension(sc_type_index type)
---
> register_extension(std::type_index type)