[nongnu] elpa/proof-general 05e3dc3ad4 03/10: Remove duplicate def. of `coq-looking-at-comment`

[ELPA Syncer]

branch: elpa/proof-general
commit 05e3dc3ad4482a166be120b65930f9b5aa19d8db
Author: Columbus240 <8899730+Columbus240@users.noreply.github.com>
Commit: Columbus240 <8899730+Columbus240@users.noreply.github.com>

    Remove duplicate def. of `coq-looking-at-comment`
---
 coq/coq-indent.el | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/coq/coq-indent.el b/coq/coq-indent.el
index e4f72c0367..b1e3e0425b 100644
--- a/coq/coq-indent.el
+++ b/coq/coq-indent.el
@@ -264,11 +264,6 @@ if found, to (point-max) otherwise.  Return t if found, 
nil otherwise."
           (setq nbopen (- nbopen 1))))
       (= nbopen 0))))
 
-(defun coq-looking-at-comment ()
-  "Return non-nil if point is inside a comment."
-  (or (proof-inside-comment (point))
-      (proof-inside-comment (+ 1 (point)))))
-
 (defun coq-find-comment-start ()
   "Go to the current comment start.
 If inside nested comments, go to the start of the outer most comment.