From 7ffacf7b684ffb1d0df776c697019dc8027eb12c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 3 Oct 2009 18:08:44 +0000
Subject: proof-regexp-alt: use shy matching

---
 generic/proof-syntax.el | 4 ++--
 1 file 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))
 
-- 
cgit v1.2.3