From 1e5fcb1a36df556dc7c0b8bac2b0b36a8e8d2743 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 7 Sep 2012 19:47:10 +0000
Subject: Fix of the last commit.

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

diff --git a/coq/coq.el b/coq/coq.el
index ea33b2f8..ceb81311 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -663,14 +663,14 @@ Return nil if s is nil."
 (defun coq-id-at-point ()
   "Return the identifier at current point.
 Support dot.notation.of.modules."
-  (dummy (modify-syntax-entry ?\. "w")) ; temporary for dot notation
+  (modify-syntax-entry ?\. "w") ; temporary for dot notation
   (let* ((symb
           (symbol-name (cond 
                         ((fboundp 'symbol-near-point) (symbol-near-point))
                         ((fboundp 'symbol-at-point) (symbol-at-point))
                         (t 'nothing))))
-         (dummy (modify-syntax-entry ?\. ".")) ; go back to ususal syntax
          (symbclean (coq-remove-trailing-dot symb)))
+    (modify-syntax-entry ?\. ".") ; go back to ususal syntax
     (if (zerop (length symbclean)) nil symbclean)))
 
 
-- 
cgit v1.2.3