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