diff options
| author | David Aspinall | 1998-10-12 16:43:57 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-12 16:43:57 +0000 |
| commit | 3c7a1fdf21758b9b09452725c98ebd8ce0f12c15 (patch) | |
| tree | 8bf9560d6007a2dc648afff17dfc5d3d643eb82b | |
| parent | 78bfc48fc58ef311c187be6b89e2fb9c006cf2c4 (diff) | |
Fixed bug in proof-toolbar-qed.
| -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 |