From d0acb626eba17023c55b002921870d60e48527a5 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 8 Apr 2021 16:54:49 +0200
Subject: Fixing "match with" generation.

---
 coq/coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/coq.el b/coq/coq.el
index cd9f7294..7e8cbd94 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -2851,7 +2851,7 @@ Also insert holes at insertion positions."
     (setq cmd (read-string "Build match for type: "))
     (let* ((thematch
            (proof-shell-invisible-cmd-get-result (concat "Show Match " cmd ".")))
-           (match (replace-regexp-in-string "=> \n" "=> #\n" thematch)))
+           (match (replace-regexp-in-string "=> *\n" "=> #\n" thematch)))
       ;; if error, it will be displayed in response buffer (see def of
       ;; proof-shell-invisible-cmd-get-result), otherwise:
       (unless (proof-string-match coq-error-regexp match)
-- 
cgit v1.2.3