diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2003-07-23 23:03:00 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2003-07-23 23:03:00 +0000 |
| commit | d17755ef49eeef07206bc0fe7c7dcf10b2ffc34e (patch) | |
| tree | 933616719fb71fa2f43c164e6ff2dd89accc4fa3 /test | |
| parent | d28ff2ed0ee67a631b3052581831ed623b8812d6 (diff) | |
pour que ca marche mieux avec -dtypes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5730 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions