From aba3f2bfe2bffde6d2df21b098740100459a84be Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Fri, 15 May 2020 15:50:48 +0200
Subject: Fix name clash & rephrase some strings

---
 generic/proof-config.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof-config.el')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 16cdae93..ce72c76c 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -399,7 +399,7 @@ NB: This setting is not used for matching output from the prover."
   :type 'regexp
   :group 'proof-script)
 
-(defcustom proof-show-diffs-regexp nil
+(defcustom proof-show-proof-diffs-regexp nil
   "Matches all Show Proof form"
   :type 'regexp
   :group 'proof-script)
-- 
cgit v1.2.3