Use int32_t instead of plain int with Unicode code points
[jansson.git] / src / dump.c
index ac0b8dc..8d2a82b 100644 (file)
@@ -9,6 +9,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
+#include <stdint.h>
 
 #include <jansson.h>
 #include "jansson_private.h"