diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 21:43:48 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 21:43:48 +0000 |
| commit | e3e203869d5e25fab4809d53c3938f067b3a94db (patch) | |
| tree | afd60fddf5d0a549876fd4fe0247986c294d213f /generic/proof-depends.el | |
| parent | 72f240e63eb57755e618613cad4bb7edbe951a26 (diff) | |
Reduce compiler warnings. Minor fixes.
Diffstat (limited to 'generic/proof-depends.el')
| -rw-r--r-- | generic/proof-depends.el | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/generic/proof-depends.el b/generic/proof-depends.el index 0f1c4eff..7605515f 100644 --- a/generic/proof-depends.el +++ b/generic/proof-depends.el @@ -12,7 +12,11 @@ ;; within proofs. Code rewritten by David Aspinall. ;; +(require 'cl) (require 'span) +(require 'pg-vars) +(require 'proof-config) +(require 'proof-autoloads) ;; Variables @@ -71,7 +75,7 @@ This is done using `proof-depends-module-name-for-buffer' and (defun proof-depends-process-dependencies (name gspan) "Process dependencies reported by prover, for NAME in span GSPAN. Called from `proof-done-advancing' when a save is processed and -proof-last-theorem-dependencies is set." +`proof-last-theorem-dependencies' is set." (span-set-property gspan 'dependencies ;; Ancestors of NAME are in the second component. |