diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-10-17 10:04:14 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-10-17 10:04:14 +0000 |
| commit | dfd44be957129baacbfc8ae7fdf587cfa6431129 (patch) | |
| tree | a309f6e847f9b8299fecb6a1cb08b82072f8af67 /isar | |
| parent | 9e1ad692f7dc96e8c2f0475de7dc2b5629e9e690 (diff) | |
Attempt to support stricter bytecomp warnings
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isabelle-system.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el index c58b69e3..a45e3470 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -22,7 +22,9 @@ (require 'proof-menu) (require 'proof-syntax) (proof-ready-for-assistant 'isar) ; compile for isar - (defvar proof-assistant-menu nil)) + (defvar proof-assistant-menu nil)) + +(declare-function mapcan "cl-extra") ; spurious bytecomp warning ;; The isabelle custom group won't have been defined yet. |