From bd3e0f3a49e9f785dd75f2806bf791e3aa58b584 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 11 Mar 2013 09:41:30 +0000
Subject: Fixed parsing of hex float literals 0xNNNpMMM.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2144 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cfrontend/C2C.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cfrontend/C2C.ml')

diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml
index f34c396..f80b379 100644
--- a/cfrontend/C2C.ml
+++ b/cfrontend/C2C.ml
@@ -370,7 +370,7 @@ let convertFloat f kind =
 	(if f.C.hex then 4 else 1) * String.length f.C.fracPart in
       let exp = Z.sub exp (Z.of_uint shift_exp) in
 
-      let base = P.of_int (if f.C.hex then 16 else 10) in
+      let base = P.of_int (if f.C.hex then 2 else 10) in
 
       begin match kind with
 	| FFloat ->
-- 
cgit v1.2.3