Fix awful bug where uint32_t was sometimes defined as a short.
authorDavid Given <dg@cowlark.com>
Fri, 24 May 2013 23:33:01 +0000 (00:33 +0100)
committerDavid Given <dg@cowlark.com>
Fri, 24 May 2013 23:33:01 +0000 (00:33 +0100)
commit98e745d04ce77f7cbdffc860817e6724a049f09f
tree87184f0652d7783820fee01ef364557e8cd590b7
parent98a51732abc07a9dcf2748c2b579d0d2e81e4566
Fix awful bug where uint32_t was sometimes defined as a short.

--HG--
branch : dtrg-videocore
lang/cem/libcc.ansi/headers/stdint.h