[PATCH] [PATCH] [gdb] adds several headers to the include list

[Pedro Alves]

> diff --git a/gdb/value.c b/gdb/value.c
> index 022fca91a42..c9bec678d95 100644
> --- a/gdb/value.c
> +++ b/gdb/value.c
> @@ -40,6 +40,9 @@
>  #include "cp-abi.h"
>  #include "user-regs.h"
>  #include <algorithm>
> +#include <iterator>
> +#include <utility>
> +#include <vector>

It seems to me that <vector> should have beeen included in the header (value.h):

 $ grep std::vector value.h
                                 std::vector<value_ref_ptr> *val_chain,
 extern std::vector<value_ref_ptr> value_release_to_mark