From b83fa79d3764763deeba9e403e4646e22731d810 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 23 Aug 2006 11:02:25 +0000
Subject: fsf emacs compatibilty for symbol-at-point.

---
 coq/coq.el | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'coq/coq.el')

diff --git a/coq/coq.el b/coq/coq.el
index 8feda42b..1401c3b1 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -620,16 +620,17 @@ This function calls `coq-find-and-forget-v81' or
     )
   )
 
+
 (defun coq-guess-or-ask-for-string (s &optional dontguess)
   (let ((guess
          (and (not dontguess)
          (if (region-exists-p) 
              (buffer-substring-no-properties (region-beginning) (region-end))
-           (symbol-near-point)))))
+           (thing-at-point 'word)))))
     (read-string 
      (if guess (concat s " (" guess "): ") (concat s " : "))
-     nil 'proof-minibuffer-history guess))
-  )
+     nil 'proof-minibuffer-history guess)))
+
 
 (defun coq-ask-do (ask do &optional dontguess postformatcmd)
   "Ask for an ident and print the corresponding term."
-- 
cgit v1.2.3