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)
--HG--
branch : dtrg-videocore

lang/cem/libcc.ansi/headers/stdint.h

index 86fd048..ce9cf3e 100644 (file)
@@ -26,7 +26,7 @@ typedef unsigned short  uint16_t;
 
 #if    _EM_WSIZE == 4
 typedef signed int      int32_t;
-typedef unsigned short  uint32_t;
+typedef unsigned int    uint32_t;
 #else
 typedef signed long     int32_t;
 typedef unsigned long   uint32_t;