+Simultaneous_music_iterator::Simultaneous_music_iterator (Simultaneous_music_iterator const& src)
+ : Music_iterator (src)
+{
+ separate_contexts_b_ = src.separate_contexts_b_;
+ for (Cons<Music_iterator> *p = src.children_p_list_.head_; p; p = p->next_)
+ {
+ Music_iterator *i = p->car_;
+ children_p_list_.append (new Killing_cons<Music_iterator> (i->clone (), 0));
+ }
+}
+