fixed a bug in command parsing for coq, due to recent changes.

1 files changed, 2 insertions, 8 deletions

diff --git a/coq/coq-smie.el b/coq/coq-smie.el
index 52e1aa39..3d2d421c 100644
--- a/coq/coq-smie.el
+++ b/coq/coq-smie.el
@@ -478,8 +478,7 @@ The point should be at the beginning of the command name."
 	   (save-excursion
 	     (forward-char -1)
 	     (let ((nxttok (coq-smie-backward-token))) ;; recursive call
-	       (coq-is-cmdend-token nxttok)
-	       )))
+	       (coq-is-cmdend-token nxttok))))
       (forward-char -1)
       (if (looking-at "{") "{ subproof" "} subproof"))
 
@@ -505,14 +504,9 @@ The point should be at the beginning of the command name."
      ; for "unfold in *|-*;"
      ((member tok '("*;" "-*;" "|-*;" "*|-*;")) (forward-char 1) "; tactic")
      ((and (string-match coq-bullet-regexp-nospace tok)
-	   (save-excursion
-	     (let ((prev (coq-smie-backward-token))) ;; recursive call
-	       (or (coq-is-subproof-token prev)
-		   (coq-is-dot-token prev)))))
+	   (save-excursion (coq-empty-command-p)))
       (concat tok " bullet"))
 
-
-
      ((and (member tok '("exists" "∃"))
 	   (save-excursion
 	     ;; recursive call looking at the ptoken immediately before