diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-menu.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 0a091754..0bd6ee23 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -537,8 +537,9 @@ If SETTING is non-nil, return a string for just that setting. Otherwise return a string for configuring all settings." (let ((evalifneeded (lambda (expr) - (if (or (not setting) - (eq setting (car expr))) + (if (and (cadr expr) ;; setting has PA string? + (or (not setting) + (eq setting (car expr)))) (proof-assistant-format (cadr expr) (eval (proof-ass-symv (car expr)))))))) |