From b8534ce271915f044756a87f80f6d486c92bd7d1 Mon Sep 17 00:00:00 2001
From: malc <moosotc@gmail.com>
Date: Wed, 13 Sep 2017 16:57:30 +0300
Subject: [PATCH] Cosmetics

---
 main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.ml b/main.ml
index 0a32e9c..6bd84cf 100644
--- a/main.ml
+++ b/main.ml
@@ -3325,7 +3325,7 @@ 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 ".." 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
-- 
2.11.4.GIT