From eb6f017f823ff323570a76941e69218fbd07de8d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 22 Sep 2010 09:56:59 +0000
Subject: Fix some bugs in coq regexp generation

---
 generic/proof-syntax.el | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'generic')

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index accd41de..84b5940d 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -42,6 +42,10 @@ Uses a regexp of the form \\_<...\\_>."
 			regexp "\\)")))
     res))
 
+(defsubst proof-regexp-alt-list (args)
+  "Return the regexp which matches any of the regexps ARGS."
+  (apply 'proof-regexp-alt args))
+
 (defsubst proof-re-search-forward-region (startre endre)
   "Search for a region delimited by regexps STARTRE and ENDRE.
 Return the start position of the match for STARTRE, or
-- 
cgit v1.2.3