Portability fix (#27, closes #26)

jivanpal · Sep 23, 2021 · 8cb224f · 8cb224f
1 parent e50f295
commit 8cb224f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/include/drat/string/j.c b/include/drat/string/j.c
@@ -11,6 +11,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
+#include <stdint.h>
 
 #if defined(__APPLE__) || defined(__BSD__)
     #include <sys/stat.h>
@@ -50,7 +51,7 @@
 
 // Helper function for printing objects which have xfields
 static void print_xf_details(bool has_xfields, xf_blob_t* xfields) {
-    printf("Number of extended fields:  %"PRIu16"\n", has_xfields ? xfields->xf_num_exts : 0);
+    printf("Number of extended fields:  %"PRIu16"\n", (uint16_t)(has_xfields ? xfields->xf_num_exts : 0));
     if (has_xfields) {
         printf("Details of extended fields:\n\n");
         xf_pair_t** xf_pairs_array = get_xf_pairs_array(xfields);