From e885d10c74eb5f3ea43cd7fc443d6b5045dbc877 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Tue, 9 Jul 2019 14:11:58 +0200
Subject: [PATCH] [Unmarshal] improve error message
---
src/libraries/datatype/unmarshal.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/libraries/datatype/unmarshal.ml b/src/libraries/datatype/unmarshal.ml
index df6726ec62c..314dadf1be0 100644
--- a/src/libraries/datatype/unmarshal.ml
+++ b/src/libraries/datatype/unmarshal.ml
@@ -503,7 +503,7 @@ let input_val ch t =
read_string stk t len
| _ ->
- ill_formed (Printf.sprintf "code %x" code)
+ ill_formed (Printf.sprintf "code 0x%x" code)
in
match t with
| Dynamic f ->
--
GitLab