Fixing a bug of multiple frame mode (obsolete variable in emacs > 23.4.

1 files changed, 0 insertions, 1 deletions

diff --git a/coq/coq.el b/coq/coq.el
index acb516ee..3ff0bf2c 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -375,7 +375,6 @@ SMIE is a navigation and indentation framework available in Emacs >= 23.3."
        (str (proof-shell-strip-eager-annotations start end))
        (strnotrailingspace
         (coq-remove-starting-blanks (coq-remove-trailing-blanks str))))
-    (message "STR = %S" strnotrailingspace)
     (pg-response-display-with-face strnotrailingspace face)))