From 71be0c69ff955b2e79f456b6dad5c4406fc08e71 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik@martin-dorel.org>
Date: Sun, 25 Sep 2016 00:25:34 +0200
Subject: proof-retract-before-change: Fix #41 by saving/restoring the match
 data.

---
 generic/proof-script.el | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index a9c55353..e67a7774 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1989,11 +1989,12 @@ No effect if prover is busy."
       (proof-interrupt-process)
       (proof-shell-wait))
     (save-excursion
-      (save-restriction ;; see Trac#403
-	(widen)
-	(goto-char beg)
-	(proof-retract-until-point)
-	(proof-shell-wait)))))
+      (save-match-data ;; see PG#41
+        (save-restriction ;; see Trac#403
+          (widen)
+          (goto-char beg)
+          (proof-retract-until-point)
+          (proof-shell-wait))))))
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-- 
cgit v1.2.3