Fix #63 (efficiency pb in indentation).

1 files changed, 1 insertions, 4 deletions

diff --git a/coq/coq-smie.el b/coq/coq-smie.el
index f2c822e1..378febea 100644
--- a/coq/coq-smie.el
+++ b/coq/coq-smie.el
@@ -462,10 +462,7 @@ The point should be at the beginning of the command name."
 
 
 (defun coq-smie-backward-token ()
-  (let* ((tok (smie-default-backward-token))
-	 (start (save-excursion (coq-find-real-start) (point)))
-	 ;(is-tactic (coq-smie-is-tactic)) ; useless and morevoer expensive if at each call
-         )
+  (let* ((tok (smie-default-backward-token)))
     (cond
      ;; Distinguish between "," from quantification and other uses of
      ;; "," (tuples, tactic arguments)