Use ck_stdint.h rather than stdint.h, always.

14 years ago · aa9f9b0892
parent 4bbdb7e30d
commit aa9f9b0892
1 changed files with 1 additions and 1 deletions
--- a/include/ck_pr.h
+++ b/include/ck_pr.h
@ -30,7 +30,7 @@
 #include <ck_cc.h>
 #include <stdbool.h>
-#include <stdint.h>
+#include <ck_stdint.h>
 #include <limits.h>
 #if defined(__x86_64__)