diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-site.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 2edf652f..d88d2324 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -137,8 +137,8 @@ NOTE: to change proof assistant, you must start a new Emacs session.") (let ((assistants proof-assistants) assistant) (while assistants (let* - ((assistant (car assistants)) - (nameregexp + ((assistant (car assistants)) ; compiler bogus warning here + (nameregexp (or (cdr-safe (assoc assistant |