diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2004-05-09 10:35:38 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2004-05-09 10:35:38 +0000 |
| commit | b3092ca665335913a816427b044e43964db6ed48 (patch) | |
| tree | 095daa46df90d41002c46607c134b1f79b81290f /otherlibs/labltk/support/cltkEval.c | |
| parent | a8d073e85a77117dff6e578b6bac2ba7bb2bfd6b (diff) | |
saved_pc doit garder sa valeur pendant le longjmp, sinon les backtraces sont incorrects pour les exceptions levees depuis une primitive C (PR#2030)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6287 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/support/cltkEval.c')
0 files changed, 0 insertions, 0 deletions