From 6f0d30c9081739ab8525c30c12b17e8902491ecd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 29 Sep 2010 12:38:34 +0000
Subject: Coding conventions

---
 generic/proof-utils.el | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 53140629..44b73219 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -266,9 +266,7 @@ NB: may change the selected window."
 		(proof-safe-split-window-vertically)
 		(set-window-dedicated-p (selected-window) nil)
 		(switch-to-buffer buffer)
-		(set-window-dedicated-p (selected-window) t)
-		))
-	    ))
+		(set-window-dedicated-p (selected-window) t)))))
   ;; Return the window, hopefully the one we first thought of.
   (get-buffer-window buffer 0))
 
-- 
cgit v1.2.3