From 3570f7130244d2168c29ab1546c56711db31b7bc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Aug 2002 23:33:06 +0000
Subject: Typo

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

diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el
index 7e5718bb..a405f187 100644
--- a/generic/proof-x-symbol.el
+++ b/generic/proof-x-symbol.el
@@ -277,7 +277,7 @@ takes place (it isn't used for output-only buffers)."
 		;; contents) have changed. Shouldn't x-symbol do this?
 		(font-lock-fontify-buffer)))))))
 
-;;;####autoload
+;;;###autoload
 (defun proof-x-symbol-shell-config ()
   "Configure the proof shell for x-symbol, if proof-x-symbol-support<>nil.
 Assumes that the current buffer is the proof shell buffer."
-- 
cgit v1.2.3