diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2000-01-07 13:27:52 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2000-01-07 13:27:52 +0000 |
| commit | 2f0753ff7eb16cc0957904925f5b496d552c7880 (patch) | |
| tree | 6008b0c87be1e5599e7df80779bcd8999af21be8 /otherlibs/labltk/browser/useunix.ml | |
| parent | 9968714ee2d4635333b7ed43afd783476e20801d (diff) | |
Au retour de garbage_collection, le tas mineur n'est pas forcement vide (signal handlers). Donc, verifier qu'on a assez de place pour l'allocation demandee, et refaire un GC sinon.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/useunix.ml')
0 files changed, 0 insertions, 0 deletions