diff options
Diffstat (limited to 'src/boot/be/asm.ml')
| -rw-r--r-- | src/boot/be/asm.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/boot/be/asm.ml b/src/boot/be/asm.ml index 4b05e347..939b297c 100644 --- a/src/boot/be/asm.ml +++ b/src/boot/be/asm.ml @@ -590,8 +590,9 @@ and lower_frag | WORD (m,e) -> iflog sess (fun _ -> - log sess "lowering word %s" - (string_of_ty_mach m)); + log sess "lowering word %s with val %s" + (string_of_ty_mach m) + (fmt_to_str fmt_frag frag)); word (bytes_of_ty_mach m) (mach_is_signed m) e | ALIGN_FILE (n, frag) -> |