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

---
 coq/coq-showdiff.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'coq/coq-showdiff.el')

diff --git a/coq/coq-showdiff.el b/coq/coq-showdiff.el
index f42431af..0daf98f8 100644
--- a/coq/coq-showdiff.el
+++ b/coq/coq-showdiff.el
@@ -2,11 +2,11 @@
 (defun coq-show-proof-fun ()
   (interactive)
   ;; TODO: Check if we are in a proof
-  (when coq-show-proof
+  (when coq-show-proof-stepwise
     (when (eq coq-diffs 'off)
       (proof-shell-invisible-command "Show Proof." ))
     (when (eq coq-diffs 'on)
       (proof-shell-invisible-command "Show Proof Diffs."))
     (when (eq coq-diffs 'removed)
       (proof-shell-invisible-command "Show Proof Diffs removed.")))
- )
\ No newline at end of file
+ )
-- 
cgit v1.2.3