34c34
< setSize();
---
> resize();
110c110
< Vector<NodeID>
---
> std::vector<NodeID>
113c113
< Vector<NodeID> dest;
---
> std::vector<NodeID> dest;
119c119
< dest.insertAtBottom((NodeID)id);
---
> dest.push_back((NodeID)id);
252c252
< NetDest::setSize()
---
> NetDest::resize()
254c254
< m_bits.setSize(MachineType_base_level(MachineType_NUM));
---
> m_bits.resize(MachineType_base_level(MachineType_NUM));