diff options
author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-04-05 13:31:12 +0000 |
---|---|---|
committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-04-05 13:31:12 +0000 |
commit | 840aab2c5cd699551110039eda98fa98f50c95e2 (patch) | |
tree | 1e486a20a8c477cde1afb3a2adcb1a081440257e /ocamldoc/odoc_info.ml | |
parent | 7f521cb0e82a532719bde8a62556c85cc662ed05 (diff) | |
download | ocaml-840aab2c5cd699551110039eda98fa98f50c95e2.tar.gz |
retrait du génrateur iso
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_info.ml')
-rw-r--r-- | ocamldoc/odoc_info.ml | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/ocamldoc/odoc_info.ml b/ocamldoc/odoc_info.ml index 3393b4bf5c..5526bc314c 100644 --- a/ocamldoc/odoc_info.ml +++ b/ocamldoc/odoc_info.ml @@ -80,17 +80,6 @@ type location = Odoc_types.location = { let dummy_loc = { loc_impl = None ; loc_inter = None } -type iso_check = Odoc_types.iso_check = - | Has_description - | Has_author - | Has_since - | Has_version - | Has_return - | Has_params - | Has_fields_decribed - | Has_constructors_decribed - - module Name = Odoc_name module Parameter = Odoc_parameter module Exception = Odoc_exception |