diff options
Diffstat (limited to 'bytecomp/instruct.mli')
| -rw-r--r-- | bytecomp/instruct.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bytecomp/instruct.mli b/bytecomp/instruct.mli index 6fb979f4d..7bf4c60f0 100644 --- a/bytecomp/instruct.mli +++ b/bytecomp/instruct.mli @@ -106,6 +106,7 @@ type instruction = | Kpushtrap of label | Kpoptrap | Kraise + | Kreraise | Kcheck_signals | Kccall of string * int | Knegint | Kaddint | Ksubint | Kmulint | Kdivint | Kmodint |