diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-toolbar.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 733efd12..4cd32d51 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -286,6 +286,6 @@ Move point if the end of the locked position is invisible." "Insert a save theorem command into the script buffer, issue it." (interactive) (if (proof-toolbar-qed-enable-p) - (proof-issue-save))) + (call-interactively 'proof-issue-save))) ;; (provide 'proof-toolbar)
\ No newline at end of file |