diff options
| -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)) |