From c2889346242bf224915d1bfe7f22f3d5f3bf05e5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 26 May 2000 18:17:14 +0000
Subject: Docstring.

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

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index 4f58c795..2ad0a40d 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -18,7 +18,7 @@
   (mapconcat (lambda (s) (concat "\\<" s "\\>")) l "\\|"))
 
 (defun proof-anchor-regexp (e)
-  "Anchor (^) and group the regexp."
+  "Anchor (^) and group the regexp E."
   (concat "^\\(" e "\\)"))
 
 (defun proof-regexp-alt (&rest args)
-- 
cgit v1.2.3