1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq.el b/coq/coq.el
index c62f84b1..ac92688e 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -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))))