From 7afa9ddc2eaaab1259cc3ae683e55f099806274a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 9 Jun 2011 12:29:33 +0000
Subject: Add autoload.

---
 generic/proof-script.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index c503b336..c231f3f1 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1704,6 +1704,7 @@ to the function which parses the script segment by segment."
       ;; Return segment list
       segs)))
 
+;;;###autoload
 (defun proof-script-generic-parse-find-comment-end ()
   "Find the end of the comment point is at the start of.  Nil if not found."
   (let ((notout t))
-- 
cgit v1.2.3