>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes: >> +#include "common/function-view.h" >> + Pedro> Is this needed here? Nope. I removed it. Tom