From 4b197c15e56ea320ed0c6dc5b75656778921ed08 Mon Sep 17 00:00:00 2001 From: malc Date: Sat, 16 Sep 2017 09:59:44 +0300 Subject: [PATCH] Commas --- main.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/main.ml b/main.ml index 6bd84cf..6f392ea 100644 --- a/main.ml +++ b/main.ml @@ -3325,13 +3325,13 @@ let describe_location () = let rangestr a b = if a.pageno = b.pageno then Printf.sprintf "%d" (a.pageno+1) else - let sep = if a.pageno+1 = b.pageno then " " else UniSyms.ellipsis in + let sep = if a.pageno+1 = b.pageno then ", " else UniSyms.ellipsis in Printf.sprintf "%d%s%d" (a.pageno+1) sep (b.pageno+1) in let rec fold s la lb = function | [] -> Printf.sprintf "%s %s" s (rangestr la lb) | l :: rest when l.pageno = succ lb.pageno -> fold s la l rest - | l :: rest -> fold (s ^ " " ^ rangestr la lb) l l rest + | l :: rest -> fold (s ^ " " ^ rangestr la lb ^ ",") l l rest in fold "Pages" l l rest in -- 2.11.4.GIT