From 847d735a10301d41ffb35bc0adececde2c0bb078 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 21:43:04 +0000
Subject: Fix bracket bug.

---
 generic/proof-shell.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index ffe0816f..b47ed938 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -475,8 +475,8 @@ explicit yank."
 	(mouse-set-point event)
 	;; Get either the proof body or whole goalsave
 	(setq span (or 
-		    (span-at (point) 'proof))
-		    (span-at (point) 'goalsave))
+		    (span-at (point) 'proof)
+		    (span-at (point) 'goalsave)))
 	(if span (copy-region-as-kill
 		  (span-start span) 
 		  (span-end span)))))
-- 
cgit v1.2.3