Closed MarcelKoch closed 1 month ago
This PR removes the default value for the index space in index_map::map_to_local. Don't know why I put it there in the first place...
index_map::map_to_local
This PR removes the default value for the index space in
index_map::map_to_local
. Don't know why I put it there in the first place...