diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 21:52:37 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 21:52:37 +0000 |
| commit | 282b31af3ecdbd06cbd79f97a833caf19bbef956 (patch) | |
| tree | 3fe4427f1576c7f7997169c53c7b3b1ac7afa9aa /generic/proof-auxmodes.el | |
| parent | c25e7f0a0fc7eb9a0b90cc3aab6b7740cec9d8ee (diff) | |
Clean compile
Diffstat (limited to 'generic/proof-auxmodes.el')
| -rw-r--r-- | generic/proof-auxmodes.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/generic/proof-auxmodes.el b/generic/proof-auxmodes.el index f4f2a60f..e29bc753 100644 --- a/generic/proof-auxmodes.el +++ b/generic/proof-auxmodes.el @@ -11,7 +11,6 @@ ;; (require 'proof-utils) ; proof-ass, proof-eval... -(require 'proof-autoloads) ; aux mode functions autoloaded ;;; Code: |