23a24
> #include <typeindex>
26d26
< using sc_core::sc_type_index;
46c46
< register_phase(sc_type_index type, sc_string_view name)
---
> register_phase(std::type_index type, sc_string_view name)
80c80
< typedef std::map<sc_type_index, key_type> type_map;
---
> typedef std::map<std::type_index, key_type> type_map;