summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_name.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_name.ml')
-rw-r--r--ocamldoc/odoc_name.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/ocamldoc/odoc_name.ml b/ocamldoc/odoc_name.ml
index 7d059df40..9a934d752 100644
--- a/ocamldoc/odoc_name.ml
+++ b/ocamldoc/odoc_name.ml
@@ -52,11 +52,11 @@ let strip_string s =
else
match s.[n] with
' ' | '\t' | '\n' | '\r' -> iter_last (n-1)
- | _ -> Some n
+ | _ -> Some n
in
match iter_last (len-1) with
None -> String.sub s first 1
- | Some last -> String.sub s first ((last-first)+1)
+ | Some last -> String.sub s first ((last-first)+1)
let parens_if_infix name =
match strip_string name with