From 5133be01ed715bcd877e41153145b12fd31b9066 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 25 May 1999 08:15:19 +0000
Subject: removed superficial space;

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

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 9260e03e..6e640ed1 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -224,7 +224,7 @@ Does nothing if proof assistant is already running."
 		  (+ 1 (aref proc (- (length proc) 2))))
 	  (setq proc (concat proc "<2>"))))
       
-      (message (format "Starting process : %s" proof-prog-name))
+      (message (format "Starting process: %s" proof-prog-name))
 
       ;; Starting the inferior process (asynchronous)
       (let ((prog-name-list 
-- 
cgit v1.2.3