diff options
| author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-10-21 11:08:04 +0000 |
|---|---|---|
| committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-10-21 11:08:04 +0000 |
| commit | 87221a8e2988a85b1b5bcda0d0bbe27cc0108baa (patch) | |
| tree | 1692fe596c7e0bc0859eac3b57672b9c483eb654 /stdlib/headernt.c | |
| parent | 6a3bbfa2b55804acee3037e9454c77c862cd0c53 (diff) | |
Bug: exception non rattrapee
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1728 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/headernt.c')
0 files changed, 0 insertions, 0 deletions