diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2000-11-28 07:59:29 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2000-11-28 07:59:29 +0000 |
| commit | 7b0c301e84f5218cc488788b74bd814dc41c9a7a (patch) | |
| tree | 08cd876b192797c374f2f2174dece8cec7a85a4e /stdlib/header.c | |
| parent | 7d4c1e446d7aac077c256bdfe973b4a8e2ca191a (diff) | |
Evidemment il manquait une dependance (sur primitive.mli) a cause du
bug de ocamldep sur les labels qualifies!
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3346 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/header.c')
0 files changed, 0 insertions, 0 deletions