diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-23 00:01:12 +0200 |
---|---|---|
committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-23 01:23:31 +0200 |
commit | 86d22428959a0f5aecef270e0f4dd7d4b5712fc3 (patch) | |
tree | 676fe59b7644498172f96b6da605745a6bf71a13 /generic/proof-depends.el | |
parent | 3ba86af3271111cb056676c631b7caa6897e06f1 (diff) |
Fix most doc issues raised by (checkdoc)
Diffstat (limited to 'generic/proof-depends.el')
-rw-r--r-- | generic/proof-depends.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-depends.el b/generic/proof-depends.el index 74332c71..72beb1d2 100644 --- a/generic/proof-depends.el +++ b/generic/proof-depends.el @@ -181,7 +181,7 @@ Called from `proof-done-advancing' when a save is processed and (vector menuname nil nil)))) (defun proof-dep-split-deps (deps) - "Split dependencies into named nested lists according to dotted prefixes." + "Split dependencies DEPS into named nested lists according to dotted prefixes." ;; NB: could handle deeper nesting here, but just do one level for now. (let (nested toplevel) ;; Add each name into a nested list or toplevel list @@ -223,6 +223,7 @@ NAMEFN is applied to each element of LIST to make the names." (defun proof-goto-dependency (name span) "Go to the start of SPAN." + ;; FIXME(EMD): seems buggy as NAME is not used ;; FIXME: check buffer is right one. Later we'll allow switching buffer ;; here and jumping to different files. (goto-char (span-start span)) |