Add Lemma to exclusion for coq-goal-command-p.

1 files changed, 2 insertions, 1 deletions

diff --git a/coq/coq.el b/coq/coq.el
index ffc42aff..8a71696f 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -194,7 +194,8 @@
 (defun coq-goal-command-p (str)
   "Decide whether argument is a goal or not"
   (and (proof-string-match coq-goal-command-regexp str)
-       (not (proof-string-match "Definition.*:=" str))))
+       (not (proof-string-match "Definition.*:=" str))
+       (not (proof-string-match "Lemma.*:=" str))))
 
 ;; TODO : add the stuff to handle the "Correctness" command