diff options
Diffstat (limited to 'bytecomp/printinstr.ml')
| -rw-r--r-- | bytecomp/printinstr.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bytecomp/printinstr.ml b/bytecomp/printinstr.ml index a5cd7e05d..43d8d3606 100644 --- a/bytecomp/printinstr.ml +++ b/bytecomp/printinstr.ml @@ -67,7 +67,7 @@ let instruction ppf = function | Kboolnot -> fprintf ppf "\tboolnot" | Kpushtrap lbl -> fprintf ppf "\tpushtrap L%i" lbl | Kpoptrap -> fprintf ppf "\tpoptrap" - | Kraise -> fprintf ppf "\traise" + | Kraise k-> fprintf ppf "\t%s" (Lambda.raise_kind k) | Kcheck_signals -> fprintf ppf "\tcheck_signals" | Kccall(s, n) -> fprintf ppf "\tccall %s, %i" s n |