From dfd44be957129baacbfc8ae7fdf587cfa6431129 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 17 Oct 2011 10:04:14 +0000 Subject: Attempt to support stricter bytecomp warnings --- isar/isabelle-system.el | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'isar') 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. -- cgit v1.2.3