[PATCH] Remove unused include from Profile Mode header

[Jonathan Wakely <jwakely at redhat dot com>]

This profile mode header includes <functional>, which includes
<unordered_map> and <vector> in C++17 mode, and they try to include
the profile mode headers, and we end up in a cycle and so the content
of the headers is skipped by the header guards.

It doesn't look like profile mode needs <functional> anyway, so we can
just remove it. In stage 1 I'll look at changing <functional> to
include <bits/unordered_map.h> and <bits/stl_vector.h> directly,
skipping any Debug/Profile mode wrappers.

This fixes the last FAIL with --target_board=unix/-std=gnu++17 - yay!

	* include/profile/base.h: Remove unused header that leads to header
	cycle in C++17 mode.

Tested powerpc64le-linux, normal mode, profile mode, --disable-pch,
--target_board=unix/-std=gnu++17 and other variations too.

Committed to trunk.

Attachment: patch.txt
Description: Text document