diff options
Diffstat (limited to 'backend/PrintLTLin.ml')
| -rw-r--r-- | backend/PrintLTLin.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/PrintLTLin.ml b/backend/PrintLTLin.ml index 0f38a3f..e0a3204 100644 --- a/backend/PrintLTLin.ml +++ b/backend/PrintLTLin.ml @@ -83,7 +83,7 @@ let print_instruction pp i = fprintf pp "%a = builtin \"%s\"(%a)@ " reg res (extern_atom ef.ef_id) regs args | Llabel lbl -> - fprintf pp "%5ld: " (camlint_of_positive lbl) + fprintf pp "%ld:@ " (camlint_of_positive lbl) | Lgoto lbl -> fprintf pp "goto %ld@ " (camlint_of_positive lbl) | Lcond(cond, args, lbl) -> |