no previous declaration for `dart_domain_remove_subdomain` [-Wmissing-declarations]

[bertwesarg]

/home/wesarg/Work/Mephisto/dash/dart-impl/mpi/src/dart_locality.c: At top level:
/home/wesarg/Work/Mephisto/dash/dart-impl/mpi/src/dart_locality.c:147:12: warning: no previous declaration for 'dart_domain_remove_subdomain' [-Wmissing-declarations]
 dart_ret_t dart_domain_remove_subdomain(
            ^~~~~~~~~~~~~~~~~~~~~~~~~~~~

[fuchsto]

🤒
That's strange. Will look into it.

Probably the function has been renamed, but why didn't this come up earlier? There are unit tests, and removing domains is an elementary function. Sorry for the trouble.

[bertwesarg]

Only the declaration is missing, i.e., it does not show up in any header.