From cf98c96512379125e2eafd4188ceaf62f5e54fd0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 9 Nov 1999 17:02:58 +0000
Subject: Bug in proof-toggle-active-scripting interactive calling.

---
 generic/proof-script.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'generic/proof-script.el')

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