diff options
Diffstat (limited to 'checklink')
-rw-r--r-- | checklink/Check.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checklink/Check.ml b/checklink/Check.ml index c9fb67f2..dc9f1537 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 ( |