74,75c74
< const std::string &_label,
< std::vector<Range<Addr> > filterRanges);
---
> const std::string &_label);
99,100c98
< const std::string &_label,
< std::vector<Range<Addr> > filterRanges);
---
> const std::string &_label);