[PATCH 08/11] Do not use namespace polly inside a header.

[Tobias Grosser]

On 09/06/2014 02:42, Andreas Simbuerger wrote:
> In general this fixes ambiguity that can arise from using
> a different namespace that declares the same symbols as
> we do.

LGTM. (As this is independent you could most likely have committed it 
directly.

Tobias