From: malc Date: Mon, 14 Jan 2013 19:59:52 +0000 (+0400) Subject: Actually go to the named dest X-Git-Tag: v14~66 X-Git-Url: https://repo.or.cz/w/llpp.git/commitdiff_plain/7c9dd57f61ad502a8ad94d824881828ce9542b33 Actually go to the named dest --- 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