From 2e3f59f8d689b45fcad8cfd0f3dc1d5e693d8546 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 2 Jun 2014 16:31:55 +0200
Subject: Fixing incorrect printf format.

---
 kernel/nativevalues.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel')

diff --git a/kernel/nativevalues.ml b/kernel/nativevalues.ml
index d88d5d25d3..51bf4c2738 100644
--- a/kernel/nativevalues.ml
+++ b/kernel/nativevalues.ml
@@ -484,7 +484,7 @@ let compare accu x y =
   if is_int x && is_int y then no_check_compare x y
   else accu x y
 
-let hobcnv = Array.init 256 (fun i -> Printf.sprintf "%.2x" i)
+let hobcnv = Array.init 256 (fun i -> Printf.sprintf "%02x" i)
 let bohcnv = Array.init 256 (fun i -> i -
                                       (if 0x30 <= i then 0x30 else 0) -
                                       (if 0x41 <= i then 0x7 else 0) -
-- 
cgit v1.2.3