From 03850291c0523d8b1e3732a173644027d02d5cfb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Thu, 22 Oct 2015 00:48:30 +0100 Subject: [PATCH] compilation warnings --- packages/jpl/src/c/jpl.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/jpl/src/c/jpl.c b/packages/jpl/src/c/jpl.c index c0ec1e5d9..e0fdfed1d 100755 --- a/packages/jpl/src/c/jpl.c +++ b/packages/jpl/src/c/jpl.c @@ -1343,7 +1343,7 @@ jni_hr_del( HrEntry *ep; /* pointer to a HashedRef table entry */ HrEntry **epp; /* pointer to ep's handle, in case it needs updating */ - JPL_DEBUG(1, Sdprintf( "[removing possible object reference %u]\n", iref)); + JPL_DEBUG(1, Sdprintf( "[removing possible object reference %p]\n", (void *)iref)); for ( index=0 ; indexlength ; index++ ) /* for each slot */ { for ( epp=&(hr_table->slots[index]), ep=*epp ; ep!=NULL ; epp=&(ep->next), ep=*epp ) @@ -5711,7 +5711,7 @@ static foreign_t } else { - JPL_DEBUG(1, Sdprintf("JPL needs [%d] JVM opts as before\n")); + JPL_DEBUG(1, Sdprintf("JPL needs [%d] JVM opts as before\n", n)); } } head = PL_new_term_ref(); /* variable for the elements */