1 files 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)))