diff options
author | 2012-09-14 15:32:38 +0000 | |
---|---|---|
committer | 2012-09-14 15:32:38 +0000 | |
commit | b1360daa0367f5968fa251164cc2533d251184be (patch) | |
tree | 9e2b61ea857ba221b9d3b491297db53fc7e0dc1a /coq | |
parent | cb258b02c1e67b50700afd3ed21e143b780bc05e (diff) |
coq-remove-trailing-dot: Fix accidental dynamic binding so it compiles
Diffstat (limited to 'coq')
-rw-r--r-- | coq/coq.el | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -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 () |