Use ODR_INT_PRINTF to print Integer
authorAdam Dickmeiss <adam@indexdata.dk>
Thu, 3 Dec 2009 08:34:17 +0000 (09:34 +0100)
committerAdam Dickmeiss <adam@indexdata.dk>
Thu, 3 Dec 2009 08:34:17 +0000 (09:34 +0100)
src/odr_int.c

index 606f59b..5e3ed97 100644 (file)
@@ -35,7 +35,7 @@ int odr_integer(ODR o, Odr_int **p, int opt, const char *name)
     if (o->direction == ODR_PRINT)
     {
         odr_prname(o, name);
-        odr_printf(o, "%d\n", **p);
+        odr_printf(o, ODR_INT_PRINTF "\n", **p);
         return 1;
     }
     if (cons)