aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/boot/llvm/llasm.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/llvm/llasm.ml b/src/boot/llvm/llasm.ml
index 67f02517..70cf2470 100644
--- a/src/boot/llvm/llasm.ml
+++ b/src/boot/llvm/llasm.ml
@@ -25,7 +25,7 @@ let x86_glue
: asm_glue =
let (prefix,align) =
match sess.Session.sess_targ with
- Linux_x86_elf
+ Linux_x86_elf -> ("", 4)
| Win32_x86_pe -> ("_",4)
| MacOS_x86_macho -> ("_", 16)
in