From 3c7a1fdf21758b9b09452725c98ebd8ce0f12c15 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 12 Oct 1998 16:43:57 +0000
Subject: Fixed bug in proof-toolbar-qed.

---
 generic/proof-toolbar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic')

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
-- 
cgit v1.2.3