From 97bb69846e88fdb797f4b11c8798e580727a881f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 5 Sep 2009 18:34:23 +0000
Subject: Minor opt

---
 generic/proof-script.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 4a6bad25..7b624b34 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -655,7 +655,7 @@ Optional argument NOHIGHLIGHT means do not add highlight mouse face property."
 				      (point))))
 		      (span-make newstart (span-end span)))))
     (setq helpmsg
-	  (concat (if (> (length proofstate) 2) "" helpmsg)
+	  (concat (if (<= (length proofstate) 2) helpmsg)
 		  proofstate))
     (span-set-property newspan 'pghelp t)
     (if pg-show-hints ;; only message in minibuf if hints on
-- 
cgit v1.2.3