diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index c5feae4f..757b07e7 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -108,7 +108,9 @@ generic individual settings. The dynamic action call only happens when values *change*: as an approximation we test whether proof-config is fully-loaded yet." (set-default sym value) - (if (featurep 'proof-config) + (when (and + (not noninteractive) + (featurep 'proof-config)) (if (fboundp sym) (funcall sym) (if (boundp 'proof-assistant-symbol) |