diff options
| author | David Aspinall | 2009-09-07 08:54:27 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-07 08:54:27 +0000 |
| commit | defb651dd80bc4d15b6b2ab11cb1c644434965e3 (patch) | |
| tree | 35b69304d84d6e14ee5ba82279a849033d537f7b /generic/proof-shell.el | |
| parent | ed62d37826032f897e10acd359ceae79fa06db1c (diff) | |
Whitespace
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 "*"))) |