fixed syntax table + thing-at-point.

1 files changed, 1 insertions, 1 deletions

diff --git a/coq/coq.el b/coq/coq.el
index dbd06876..78a82b0a 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -671,7 +671,7 @@ happen since one of them is necessarily set to t in coq-syntax.el."
          (and (not dontguess)
          (if (region-exists-p) 
              (buffer-substring-no-properties (region-beginning) (region-end))
-           (thing-at-point 'word)))))
+           (thing-at-point 'symbol)))))
     (read-string 
      (if guess (concat s " (default " guess "): ") (concat s " : "))
      nil 'proof-minibuffer-history guess)))