diff options
author | 2009-10-03 18:08:44 +0000 | |
---|---|---|
committer | 2009-10-03 18:08:44 +0000 | |
commit | 7ffacf7b684ffb1d0df776c697019dc8027eb12c (patch) | |
tree | 1e7d65cfbcc8229bb4724fd4246b343654ef85e6 | |
parent | 959c0d50344af47e0422cfc3480fb6d13bfea5e1 (diff) |
proof-regexp-alt: use shy matching
-rw-r--r-- | generic/proof-syntax.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index bfa7b6e4..35904ad0 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -27,10 +27,10 @@ (defsubst proof-regexp-alt (&rest args) "Return the regexp which matches any of the regexps ARGS." - ;; see regexp-optn (NB: but that is for strings, not regexps) + ;; see regexp-opt (NB: but that is for strings, not regexps) (let ((res "")) (dolist (regexp args) - (setq res (concat res (if (string-equal res "") "\\(" "\\|\\(") + (setq res (concat res (if (string-equal res "") "\\(?:" "\\|\\(?:") regexp "\\)"))) res)) |