summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMaxence Guesdon <maxence.guesdon@inria.fr>2002-06-04 09:26:44 +0000
committerMaxence Guesdon <maxence.guesdon@inria.fr>2002-06-04 09:26:44 +0000
commit71c84d7775ad58bbde14e8b729c0e14bbc7d242b (patch)
tree5e5c9460af12bd5fc7e1ef81975adfc98d57e2f6
parentbb54244c9f293cc9156f6c1f97816f34e50ff506 (diff)
correction indentation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4875 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--ocamldoc/odoc_sig.ml1
1 files changed, 0 insertions, 1 deletions
diff --git a/ocamldoc/odoc_sig.ml b/ocamldoc/odoc_sig.ml
index 06d075065..649897390 100644
--- a/ocamldoc/odoc_sig.ml
+++ b/ocamldoc/odoc_sig.ml
@@ -167,7 +167,6 @@ module Analyser =
!file_name
(get_string_of_file pos_start pos_end)
- (** This function merge two optional info structures. *)
let merge_infos = Odoc_merge.merge_info_opt Odoc_types.all_merge_options
let name_comment_from_type_kind pos_start pos_end pos_limit tk =