From b1360daa0367f5968fa251164cc2533d251184be Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 14 Sep 2012 15:32:38 +0000
Subject: coq-remove-trailing-dot: Fix accidental dynamic binding so it
 compiles

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

diff --git a/coq/coq.el b/coq/coq.el
index a9fcb429..dc5807d6 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -662,9 +662,10 @@ If locked span already has a state number, then do nothing. Also updates
 
 (defun coq-remove-trailing-dot (s)
   "Return the string S without its trailing \".\" if any.
-Return nil if s is nil."
-  (if (and s (string-match "\\.\\>" s)) (substring s 0 (- (length s) 1))
-    symb))
+Return nil if S is nil."
+  (if (and s (string-match "\\.\\>" s))
+      (substring s 0 (- (length s) 1))
+    s))
 
 ;; remove trailing dot if any.
 (defun coq-id-at-point ()
-- 
cgit v1.2.3