Commit 02dedf89 authored by Volker Krause's avatar Volker Krause
Browse files

Replace std::binary_function usage with a lambda

std::binary_function is removed in C++17, and the lambda is perfectly
fine here.
parent 42e50bdb
Pipeline #58548 passed with stage
in 10 minutes and 31 seconds