From defb651dd80bc4d15b6b2ab11cb1c644434965e3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 7 Sep 2009 08:54:27 +0000
Subject: Whitespace

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

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index fd698f3d..384ae163 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -330,7 +330,7 @@ process command."
 	(message "Starting: %s" prog-command-line)
 
 	(apply 'scomint-make  (append (list proc (car prog-name-list) nil)
-				     (cdr prog-name-list)))
+				      (cdr prog-name-list)))
 
 	(setq proof-shell-buffer (get-buffer (concat "*" proc "*")))
 
-- 
cgit v1.2.3