1 files changed, 6 insertions, 2 deletions
diff --git a/cparser/Cutil.ml b/cparser/Cutil.ml
index 20cdc038..9f893fb0 100644
--- a/cparser/Cutil.ml
+++ b/cparser/Cutil.ml
@@ -981,8 +981,12 @@ let int_pointer_conversion env tfrom tto =
 
 (* Construct an integer constant *)
 
-let intconst v ik =
-  { edesc = EConst(CInt(v, ik, "")); etyp = TInt(ik, []) }
+let intconst ?hex v ik =
+  let ist = match hex with
+    | Some hex  when hex ->
+        Printf.sprintf "0x%LXU" v
+    | _ -> "" in
+  { edesc = EConst(CInt(v, ik, ist)); etyp = TInt(ik, []) }
 
 (* Construct the 0 float constant of double type *)