diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 0aa633b2..e743ae35 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -840,9 +840,9 @@ With ARG, turn on scripting iff ARG is positive." (> (prefix-numeric-value arg) 0)) (progn (if proof-script-buffer - (call-interactively (proof-deactivate-scripting))) - (call-interactively (proof-activate-scripting))) - (call-interactively (proof-deactivate-scripting)))) + (call-interactively proof-deactivate-scripting)) + (call-interactively proof-activate-scripting)) + (call-interactively proof-deactivate-scripting))) ;; This function isn't such a wise idea: the buffer will often be fully ;; locked when writing a script, but we don't want to keep toggling |