- span_p_ = new Staff_symbol (NO_LINES);
- span_p_->left_col_l_ = get_staff_info().command_pcol_l (); // ugh
- announce_element (Score_elem_info (span_p_, 0));
+ span_p_ = new Staff_symbol (NO_LINES);
+ span_p_->left_col_l_ = get_staff_info().command_pcol_l (); // ugh
+ announce_element (Score_elem_info (span_p_, 0));