From dcebd90dfba10c883be8fceba7d41e8480f228b9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 11:08:07 +0000
Subject: Formatting

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 7c75a8be..68b10b5e 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1222,7 +1222,8 @@ the ACS is marked in the current buffer. If CMD does not match any,
 	;; proof, and add to buffer-local list of elements, maybe
 	;; making invisible.
 	(let ((proofbodyspan
-	       (make-span goalend (if proof-script-integral-proofs saveend savestart))))
+	       (make-span goalend (if proof-script-integral-proofs 
+				      saveend savestart))))
 	  (pg-add-proof-element nam proofbodyspan gspan))
 
 	;; Set the context sensitive menu/keys
-- 
cgit v1.2.3