# HG changeset patch
# User nicodvb
# Date 1176843437 0
# Node ID 130c10495b668934469a66d4653cd95e9e1c7c72
# Parent  ef3b33441db56c5ccf49e922b7f71dd08142f35e
replaced 08llx with PRIx64; patch by Diego Petteno'

diff -r ef3b33441db5 -r 130c10495b66 vm/decoder.c
--- a/vm/decoder.c	Mon Apr 16 22:43:56 2007 +0000
+++ b/vm/decoder.c	Tue Apr 17 20:57:17 2007 +0000
@@ -572,7 +572,7 @@
 
   if(command.instruction & ~ command.examined) {
     fprintf(MSG_OUT, "libdvdnav: decoder.c: [WARNING, unknown bits:");
-    fprintf(MSG_OUT, " %08llx", (command.instruction & ~ command.examined) );
+    fprintf(MSG_OUT, " %08"PRIx64, (command.instruction & ~ command.examined) );
     fprintf(MSG_OUT, "]\n");
   }
 
diff -r ef3b33441db5 -r 130c10495b66 vm/vmcmd.c
--- a/vm/vmcmd.c	Mon Apr 16 22:43:56 2007 +0000
+++ b/vm/vmcmd.c	Tue Apr 17 20:57:17 2007 +0000
@@ -520,7 +520,7 @@
   
   if(command.instruction & ~ command.examined) {
     fprintf(MSG_OUT, " libdvdnav: vmcmd.c: [WARNING, unknown bits:");
-    fprintf(MSG_OUT, " %08llx", (command.instruction & ~ command.examined) );
+    fprintf(MSG_OUT, " %08"PRIx64, (command.instruction & ~ command.examined) );
     fprintf(MSG_OUT, "]");
   }
 }