72         vector<index_t> old2new;  in repair_colocate_vertices()  local
82                 old2new, M.vertices.dimension()  in repair_colocate_vertices()
87                 old2new, colocate_epsilon, M.vertices.dimension()  in repair_colocate_vertices()
102             M.edges.set_vertex(e, 0, old2new[M.edges.vertex(e,0)]);  in repair_colocate_vertices()
103             M.edges.set_vertex(e, 1, old2new[M.edges.vertex(e,1)]);              in repair_colocate_vertices()
108             M.facet_corners.set_vertex(c, old2new[M.facet_corners.vertex(c)]);  in repair_colocate_vertices()
114                 M.cell_corners.set_vertex(c, old2new[M.cell_corners.vertex(c)]);  in repair_colocate_vertices()
120         for(index_t i = 0; i < old2new.size(); i++) {  in repair_colocate_vertices()
121             if(old2new[i] == i) {  in repair_colocate_vertices()
122                 old2new[i] = 0;  in repair_colocate_vertices()
124                 old2new[i] = 1;  in repair_colocate_vertices()
127         M.vertices.delete_elements(old2new);  in repair_colocate_vertices()