Actually go to the named dest
authormalc <av1474@comtv.ru>
Mon, 14 Jan 2013 19:59:52 +0000 (14 23:59 +0400)
committermalc <av1474@comtv.ru>
Mon, 14 Jan 2013 19:59:52 +0000 (14 23:59 +0400)
main.ml

diff --git a/main.ml b/main.ml
index 951b303..1a71a65 100644 (file)
--- 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