diff options
Diffstat (limited to 'isar/isabelle-system.el')
-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. |