From 4441ce2d578633815bef4647711da8363ea68d85 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Fri, 1 Jun 2018 09:57:52 +0200 Subject: Fixed a typo in previous commits. --- coq/coq.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/coq/coq.el b/coq/coq.el index 50f0ebe6..52782fa9 100644 --- a/coq/coq.el +++ b/coq/coq.el @@ -2882,8 +2882,8 @@ number of hypothesis displayed, without hiding the goal" (add-hook 'proof-shell-handle-delayed-output-hook (lambda () (setq coq-hyps-positions (coq-detect-hyps proof-goals-buffer)) - (coq-highlight-selected-hyps)) - (coq-hide-hyps)) + (coq-highlight-selected-hyps) + (coq-hide-hyps))) -- cgit v1.2.3