From: Adam Dickmeiss <adam@indexdata.dk>
Date: Thu, 3 Dec 2009 08:34:17 +0000 (+0100)
Subject: Use ODR_INT_PRINTF to print Integer
X-Git-Tag: v4.0.0~92^2~5
X-Git-Url: http://jsfdemo.indexdata.com/cgi-bin?a=commitdiff_plain;h=804d3e0f68b6d6e1f6eb4c47499e547d92c4f334;p=yaz-moved-to-github.git

Use ODR_INT_PRINTF to print Integer
---

diff --git a/src/odr_int.c b/src/odr_int.c
index 606f59b..5e3ed97 100644
--- a/src/odr_int.c
+++ b/src/odr_int.c
@@ -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)