From c290f64d3085ebad129d164c144a5a2f572b7c9c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 14 Sep 2011 11:23:58 +0000
Subject: Fix typo

---
 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 93721855..756aa4da 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -414,7 +414,7 @@ process command."
   "Function run when a proof-shell buffer is killed.
 Try to shut down the proof process nicely and clear locked
 regions and state variables.  Value for `kill-buffer-hook' in
-shell buffer, alled by `proof-shell-bail-out' if process exits."
+shell buffer, called by `proof-shell-bail-out' if process exits."
   (let* ((alive    (scomint-check-proc (current-buffer)))
 	 (proc     (get-buffer-process (current-buffer)))
 	 (bufname  (buffer-name)))
-- 
cgit v1.2.3