diff options
Diffstat (limited to 'bytecomp/instruct.ml')
| -rw-r--r-- | bytecomp/instruct.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bytecomp/instruct.ml b/bytecomp/instruct.ml index 5edcacd27..70d622299 100644 --- a/bytecomp/instruct.ml +++ b/bytecomp/instruct.ml @@ -85,7 +85,7 @@ type instruction = | Kboolnot | Kpushtrap of label | Kpoptrap - | Kraise + | Kraise of raise_kind | Kcheck_signals | Kccall of string * int | Knegint | Kaddint | Ksubint | Kmulint | Kdivint | Kmodint |