From 84e3373e401fba65e5be74771ff5b443b34361e0 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel
Date: Mon, 29 Feb 2016 00:06:41 -0500
Subject: Redo 11b03d4 (ensure that ‘Time’ isn't added to internal commands)

---
 coq/coq.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index 9c255260..40af5aa2 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1907,9 +1907,9 @@ This is the Coq incarnation of `proof-tree-find-undo-position'."
 ;; Remark: `action' and `string' are known by `proof-shell-insert-hook'
 (defun coq-preprocessing ()
   (when coq-time-commands
-    ;; Don't add the prefix if this is a command sent internally
-    (unless (memq 'no-response-display proof-shell-delayed-output-flags)
-      (with-no-warnings  ;; NB: dynamic scoping of `string'
+    (with-no-warnings  ;; NB: dynamic scoping of `string' and `action'
+      ;; Don't add the prefix if this is a command sent internally
+      (unless (eq action 'proof-done-invisible)
         (setq string (concat coq--time-prefix string))))))
 
 (add-hook 'proof-shell-insert-hook 'coq-preprocessing)
-- 
cgit v1.2.3