Skip to content

Commit 71e3ac8

Browse files
committed
Re-indent a bit of elf.
1 parent eb854ff commit 71e3ac8

File tree

1 file changed

+10
-10
lines changed

1 file changed

+10
-10
lines changed

src/boot/be/elf.ml

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1703,16 +1703,16 @@ let sniff
17031703
: asm_reader option =
17041704
try
17051705
let stat = Unix.stat filename in
1706-
if (stat.Unix.st_kind = Unix.S_REG) &&
1707-
(stat.Unix.st_size > 4)
1708-
then
1709-
let ar = new_asm_reader sess filename in
1710-
let _ = log sess "sniffing ELF file" in
1711-
if (ar.asm_get_zstr_padded 4) = elf_magic
1712-
then (ar.asm_seek 0; Some ar)
1713-
else None
1714-
else
1715-
None
1706+
if (stat.Unix.st_kind = Unix.S_REG) &&
1707+
(stat.Unix.st_size > 4)
1708+
then
1709+
let ar = new_asm_reader sess filename in
1710+
let _ = log sess "sniffing ELF file" in
1711+
if (ar.asm_get_zstr_padded 4) = elf_magic
1712+
then (ar.asm_seek 0; Some ar)
1713+
else None
1714+
else
1715+
None
17161716
with
17171717
_ -> None
17181718
;;

0 commit comments

Comments
 (0)