diff options
Diffstat (limited to 'bytecomp/emitcode.ml')
| -rw-r--r-- | bytecomp/emitcode.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bytecomp/emitcode.ml b/bytecomp/emitcode.ml index 2f1d58599..9911de882 100644 --- a/bytecomp/emitcode.ml +++ b/bytecomp/emitcode.ml @@ -243,7 +243,9 @@ let emit_instr = function | Kboolnot -> out opBOOLNOT | Kpushtrap lbl -> out opPUSHTRAP; out_label lbl | Kpoptrap -> out opPOPTRAP - | Kraise -> out opRAISE + | Kraise Raise_regular -> out opRAISE + | Kraise Raise_reraise -> out opRERAISE + | Kraise Raise_notrace -> out opRAISE_NOTRACE | Kcheck_signals -> out opCHECK_SIGNALS | Kccall(name, n) -> if n <= 5 |