From 7c9dd57f61ad502a8ad94d824881828ce9542b33 Mon Sep 17 00:00:00 2001
From: malc <av1474@comtv.ru>
Date: Mon, 14 Jan 2013 23:59:52 +0400
Subject: [PATCH] Actually go to the named dest

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

diff --git a/main.ml b/main.ml
index 951b303..1a71a65 100644
--- a/main.ml
+++ b/main.ml
@@ -2518,7 +2518,7 @@ let act cmds =
             cmds (Printexc.to_string exn);
           exit 1;
       in
-      state.anchor <- (n, float t /. float h, 0.0)
+      gotoanchor (n, float t /. float h, 0.0)
 
   | "info" ->
       state.docinfo <- (1, args) :: state.docinfo
-- 
2.11.4.GIT