summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_parameter.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_parameter.ml')
-rw-r--r--ocamldoc/odoc_parameter.ml11
1 files changed, 1 insertions, 10 deletions
diff --git a/ocamldoc/odoc_parameter.ml b/ocamldoc/odoc_parameter.ml
index 9b30f3181..ba7ff1de3 100644
--- a/ocamldoc/odoc_parameter.ml
+++ b/ocamldoc/odoc_parameter.ml
@@ -11,8 +11,7 @@
(* $Id$ *)
-(** Representation and manipulation of method / function / class parameters,
- and module parameters.*)
+(** Representation and manipulation of method / function / class parameters. *)
let print_DEBUG s = print_string s ; print_newline ()
@@ -34,14 +33,6 @@ type param_info =
(** A parameter is just a param_info.*)
type parameter = param_info
-(** A module parameter is just a name and a module type.*)
-type module_parameter = {
- mp_name : string ;
- mp_type : Types.module_type ;
- mp_type_code : string ;
- }
-
-
(** Functions *)
(** acces to the name as a string. For tuples, parenthesis and commas are added. *)