diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-08-25 08:46:03 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-08-25 08:46:03 +0000 |
| commit | a019da159a873ffced23634f052dbcc1c865f4fc (patch) | |
| tree | 44c01d1b2c6ae18de148a7a75c1a176153e1eb3d /asmcomp/linearize.mli | |
| parent | 4ce3c0d09f6471eeeda725c17d6cc04f8be22985 (diff) | |
| download | ocaml-a019da159a873ffced23634f052dbcc1c865f4fc.tar.gz | |
Introduction de Lreloadretaddr.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@217 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/linearize.mli')
| -rw-r--r-- | asmcomp/linearize.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/asmcomp/linearize.mli b/asmcomp/linearize.mli index 45ccd85cb3..5edc58c4b8 100644 --- a/asmcomp/linearize.mli +++ b/asmcomp/linearize.mli @@ -26,6 +26,7 @@ type instruction = and instruction_desc = Lend | Lop of Mach.operation + | Lreloadretaddr | Lreturn | Llabel of label | Lbranch of label |