for (vsize j = 0; j < details.size (); j++)
cols.push_back (details[j].last_column_);
}
else
cols = system_specs_[i].pscore_->root_system ()->used_columns ();
for (vsize j = 0; j < details.size (); j++)
cols.push_back (details[j].last_column_);
}
else
cols = system_specs_[i].pscore_->root_system ()->used_columns ();