From 98246c698f39570654aae2190a6517366bad57ed Mon Sep 17 00:00:00 2001
From: malc <moosotc@gmail.com>
Date: Thu, 31 May 2018 18:30:58 +0300
Subject: [PATCH] Cosmetics

---
 main.ml | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/main.ml b/main.ml
index 56ac8d7..bbeafe3 100644
--- a/main.ml
+++ b/main.ml
@@ -2988,13 +2988,10 @@ let gotounder = function
 let gotooutline (_, _, kind) =
   match kind with
   | Onone -> ()
-  | Oanchor anchor ->
-     let (pageno, y, _) = anchor in
-     let y = getanchory
-               (if conf.presentation then (pageno, y, 1.0) else anchor)
-     in
+  | Oanchor ((pageno, y, _) as anchor) ->
      addnav ();
-     gotoxy state.x y
+     gotoxy state.x @@
+       getanchory (if conf.presentation then (pageno, y, 1.0) else anchor)
   | Ouri uri -> gotounder (Ulinkuri uri)
   | Olaunch cmd -> error "gotounder (Ulaunch %S)" cmd
   | Oremote (remote, pageno) ->
-- 
2.11.4.GIT