diff options
| author | Alain Frisch <alain@frisch.fr> | 2013-10-14 14:38:18 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2013-10-14 14:38:18 +0000 |
| commit | ae9a78b10d847353bd2abc5621b8b41d5d270dbb (patch) | |
| tree | 520e4f08956eb28ebc864ceb73d9825d49bdadbb /bytecomp/printinstr.ml | |
| parent | 164c307ae351b12b5299e858273b38ee71f6f791 (diff) | |
| download | ocaml-ae9a78b10d847353bd2abc5621b8b41d5d270dbb.tar.gz | |
Cleanup.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14227 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/printinstr.ml')
| -rw-r--r-- | bytecomp/printinstr.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/bytecomp/printinstr.ml b/bytecomp/printinstr.ml index 341188e192..43d8d36069 100644 --- a/bytecomp/printinstr.ml +++ b/bytecomp/printinstr.ml @@ -67,9 +67,7 @@ let instruction ppf = function | Kboolnot -> fprintf ppf "\tboolnot" | Kpushtrap lbl -> fprintf ppf "\tpushtrap L%i" lbl | Kpoptrap -> fprintf ppf "\tpoptrap" - | Kraise Raise_regular-> fprintf ppf "\traise" - | Kraise Raise_reraise-> fprintf ppf "\treraise" - | Kraise Raise_notrace-> fprintf ppf "\traise_notrace" + | 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 |