From cc920688fde5eefac2201a07d894ee9b66e4d1fc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 13 Dec 2007 22:03:12 +0000
Subject: Remvoe typo

---
 generic/proof-shell.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 10579bc9..60494221 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -374,7 +374,7 @@ Does nothing if proof assistant is already running."
 	)
 
       ;; Create the associated buffers and set buffer variables
-v      ;; 
+      ;; 
       ;; NB: 3.6 has reverted space in front of names, so buffers
       ;; are easier for users to find, was causing confusion.
       ;;
-- 
cgit v1.2.3