From 2627794a261615d57fb5aec536d21ed843874de3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 24 Mar 2000 20:17:09 +0000
Subject: Spacing.

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

(limited to 'generic')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 294ee401..9bc1c39a 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -999,7 +999,8 @@ the ACS is marked in the current buffer. If CMD does not match any,
       ;; a proof is completing)
       ;; NB: this patch doesn't work!  Are spans being destroyed
       ;; sometime *during* this code??
-      (proof-debug "Proof General idiosyncrasy: proof-done-advancing called with a dead span!")
+      (proof-debug 
+       "Proof General idiosyncrasy: proof-done-advancing called with a dead span!")
   ;; 
   (let ((end (span-end span)) cmd)
     ;; State of spans after advancing: 
-- 
cgit v1.2.3