diff options
| -rw-r--r-- | generic/proof-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
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) |