diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2004-08-13 11:45:44 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2004-08-13 11:45:44 +0000 |
| commit | 1a8c0ee7b9dbab85633345a31d33ecf888bb4420 (patch) | |
| tree | 5bdeead6a2abd1064f04398284a0201e8589fa9d /byterun/unix.c | |
| parent | 84ff3e5fd9980a00bd9fefbde3334875a0cf80e7 (diff) | |
Prevoir de recuperer les debordements de pile lorsque youg_ptr et exn_pointer sont en registres
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6600 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/unix.c')
0 files changed, 0 insertions, 0 deletions