From 03dd8d8664bf43eb748fe51306a17c03d48b2a24 Mon Sep 17 00:00:00 2001
From: varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 12 Jul 2012 12:06:21 +0000
Subject: checklink: allow other number formats in configuration

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

(limited to 'checklink')

diff --git a/checklink/Check.ml b/checklink/Check.ml
index c9fb67f..dc9f153 100644
--- a/checklink/Check.ml
+++ b/checklink/Check.ml
@@ -3409,7 +3409,7 @@ let parse_conf filename =
           (* a SDA mapping *)
           ; (fun () ->
             Scanf.sscanf line
-              "register r%u = 0x%lX"
+              "register r%u = %li"
               (fun r addr ->
                 if IntMap.mem r !sda_map
                 then failwith (
-- 
cgit v1.2.3