diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2000-11-22 13:51:07 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2000-11-22 13:51:07 +0000 |
| commit | cb681720eab307945936188efea5f88e3b06661e (patch) | |
| tree | ad39d4dd875bab7993360d04d862319d3df86a4c /otherlibs/unix/gethost.c | |
| parent | 7b71ab6f468a896e0d331b8ec87fb6b87227cafc (diff) | |
Suppression de fonctions sur les listes redondantes car deja definies
dans la librairie standard. Attention Misc.for_all2 et List.for_all2
ont des semantiques tres legerement differentes. Il est donc hasardeux
de supprimer Misc.for_all2 sans une analyse précise de toutes ses
utilisations!
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3340 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix/gethost.c')
0 files changed, 0 insertions, 0 deletions