diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-09-22 09:56:59 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-09-22 09:56:59 +0000 |
| commit | eb6f017f823ff323570a76941e69218fbd07de8d (patch) | |
| tree | c348d97df7259a991a00ba1fc48f667593fb2bbc /coq/coq-syntax.el | |
| parent | 97c62745bd410daff598e03d797da4b67af033f3 (diff) | |
Fix some bugs in coq regexp generation
Diffstat (limited to 'coq/coq-syntax.el')
| -rw-r--r-- | coq/coq-syntax.el | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 802bad68..8b095468 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -10,15 +10,6 @@ (require 'proof-utils) ; proof-locate-executable (require 'coq-db) -(defsubst proof-regexp-alt-list (args) - "Return the regexp which matches any of the regexps ARGS." - ;; see regexp-opt (NB: but that is for strings, not regexps) - (let ((res "")) - (dolist (regexp args) - (setq res (concat res (if (string-equal res "") "\\(?:" "\\|\\(?:") - regexp "\\)"))) - res)) - (eval-when-compile (require 'span) (defvar coq-goal-command-regexp nil) |