diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-10-13 15:51:33 +0200 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-10-13 15:51:33 +0200 |
commit | dbcdba63a79bfcafbc8873b787f18aa049198eaf (patch) | |
tree | 3d85bc54aef3610c97cf87bd1c1ddc6c2a2cdd4d /coq/coq.el | |
parent | efb54b9098d665fd58e99c42f53afd7e49a36c70 (diff) |
Fixed coq-id-at-point.
Diffstat (limited to 'coq/coq.el')
-rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -791,7 +791,7 @@ Support dot.notation.of.modules." ((fboundp 'symbol-at-point) (symbol-at-point)))) (symbclean (when symb (coq-remove-trailing-dot (symbol-name symb))))) (when (and symb (not (zerop (length symbclean))) - (not (coq-string-starts-with-symbol symb))) + (not (coq-string-starts-with-symbol symbclean))) symbclean)))) |