class Tie_engraver : public Engraver
{
Music *event_;
- Link_array<Grob> now_heads_;
- std::vector<Head_event_tuple> heads_to_tie_;
- Link_array<Grob> ties_;
+ vector<Grob*> now_heads_;
+ vector<Head_event_tuple> heads_to_tie_;
+ vector<Grob*> ties_;
Spanner *tie_column_;
Tie::set_head (p, RIGHT, h);
ties_.push_back (p);
- heads_to_tie_.del (i);
+ heads_to_tie_.erase (heads_to_tie_.begin () + i);
}
}