diff options
Diffstat (limited to 'backend/PrintMach.ml')
| -rw-r--r-- | backend/PrintMach.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/PrintMach.ml b/backend/PrintMach.ml index 7e6c343..e7cb947 100644 --- a/backend/PrintMach.ml +++ b/backend/PrintMach.ml @@ -76,7 +76,7 @@ let print_instruction pp i = fprintf pp "tailcall %a@ " ros fn | Mbuiltin(ef, args, res) -> fprintf pp "%a = builtin %s(%a)@ " - reg res (name_of_external ef) regs args + regs res (name_of_external ef) regs args | Mannot(ef, args) -> fprintf pp "%s(%a)@ " (name_of_external ef) annot_params args | Mlabel lbl -> |