Subject: Re: [GIT PULL -tip] fix 33 make headers_check warnings

From: "H. Peter Anvin" <[email-masked]>
Date: Fri, 23 Jan 2009 14:01:07 -0800

Jan Engelhardt wrote:
> 
> Hm, maybe g++ defaults to std? Because this works without me using
> "using std;"
> 
> #include <cstdint>
> int main(void)
> {
> 	uint32_t x;
> }
> 

Sorry, this was a bit of a surprise... basically the g++ <cstdint> 
functionally does #include <stdint.h> then exports the symbols into the 
std namespace, so it puts them into both...

	-hpa