diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-08 13:42:31 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-08 13:42:31 +0000 |
| commit | 95d8a7f7364fde5af433ffa0e6c9f5bf664c5ebc (patch) | |
| tree | 9be997d4d9af9c12882d53434d8dbbcb49cbdcb6 /generic/proof-syntax.el | |
| parent | 0877b91645ec1a824eba51cf0ad46eb4d76a138f (diff) | |
Checkdoc cleanups
Diffstat (limited to 'generic/proof-syntax.el')
| -rw-r--r-- | generic/proof-syntax.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index 1c86e6f5..4ca8b9fe 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -1,4 +1,4 @@ -;; proof-syntax.el Functions for dealing with syntax +;; proof-syntax.el --- Functions for dealing with syntax ;; ;; Copyright (C) 1997-2001 LFCS Edinburgh. ;; Authors: David Aspinall, Healfdene Goguen, @@ -17,8 +17,8 @@ (defsubst proof-ids-to-regexp (l) "Maps a non-empty list of tokens `l' to a regexp matching any element. Uses a regexp of the form \\_<...\\_>." - (concat "\\_<\\(?:" - (regexp-opt l) ; was: (mapconcat 'identity l "\\|") + (concat "\\_<\\(?:" + (regexp-opt l) ; was: (mapconcat 'identity l "\\|") "\\)\\_>")) (defsubst proof-anchor-regexp (e) |