diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2010-09-28 16:30:46 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2010-09-28 16:30:46 +0000 |
commit | 6257937785ed8b4677a066af24a74d366ad8d3c7 (patch) | |
tree | b4a0ed4d7e949d87c9b716b73ccae3a738877e8c /coq/coq-db.el | |
parent | 2432f4551377fdbd9c1cc8628a64f4e73707098a (diff) |
Fixed colorization bug #356, introduced by a previous fix of bug 140.
Diffstat (limited to 'coq/coq-db.el')
-rw-r--r-- | coq/coq-db.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-db.el b/coq/coq-db.el index a91fb3c9..53ea970f 100644 --- a/coq/coq-db.el +++ b/coq/coq-db.el @@ -119,7 +119,7 @@ regexp. See `coq-syntax-db' for DB structure." (setq l tl))) ; da: next call is wrong? ; (proof-ids-to-regexp res))) - (proof-regexp-alt-list res))) + (concat "\\_<\\(?:" (proof-regexp-alt-list res) "\\)\\_>"))) ;; Computes the max length of strings in a list |