Fix related to Ticket #7729

Another instance of unmatched concept_def.hpp and concept_undef.hpp.