summaryrefslogtreecommitdiff
path: root/asmcomp/cmm.ml
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2013-10-14 14:33:27 +0000
committerAlain Frisch <alain@frisch.fr>2013-10-14 14:33:27 +0000
commit164c307ae351b12b5299e858273b38ee71f6f791 (patch)
tree99282bdba15e99d98ab96dd33d2b3d7054929fc1 /asmcomp/cmm.ml
parent0915cb5b5fda36055142c3f662e8e40f4c91db5a (diff)
downloadocaml-164c307ae351b12b5299e858273b38ee71f6f791.tar.gz
Support for raise variants in ocamlopt. Only amd64 for now.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14226 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/cmm.ml')
-rw-r--r--asmcomp/cmm.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/cmm.ml b/asmcomp/cmm.ml
index 941b014231..fc763c8ae0 100644
--- a/asmcomp/cmm.ml
+++ b/asmcomp/cmm.ml
@@ -79,7 +79,7 @@ type operation =
| Caddf | Csubf | Cmulf | Cdivf
| Cfloatofint | Cintoffloat
| Ccmpf of comparison
- | Craise of Debuginfo.t
+ | Craise of Lambda.raise_kind * Debuginfo.t
| Ccheckbound of Debuginfo.t
type expression =