Merge pull request #1953 from Chobbes/stats_fix
uint32_t type needed even if stats are not enabled.
commitf7ac46acbc49442a52bc03bca27e0b5bb36189fa
authorEdwin Brady <edwin.brady@gmail.com>
dateThu 5 Mar 2015, 22:19 (12 years ago)
parentc4220091b7ce80
rts/idris_stats.h+2−1
@@ -3,9 +3,10 @@
33
44#ifdef IDRIS_ENABLE_STATS
55#include <time.h>
6+#endif
7+
68#include <inttypes.h>
79#include <stdint.h>
8−#endif
910
1011
1112// TODO: measure user time, exclusive/inclusive stats