Skip to content

Commit

Permalink
Use new location of PG function coq-find-comment-* (#226)
Browse files Browse the repository at this point in the history 
Fixes #225
  • Loading branch information
@vzaliva @cpitclaudel
vzaliva authored and cpitclaudel committed Oct 4, 2019
1 parent 779dabd commit 109f86d
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions company-coq.el
View file
Original file line number Diff line number Diff line change
Expand Up @@ -207,8 +207,8 @@ forward-declare; instead, check that the declaration is valid."
(company-coq-forward-declare-fun coq-response-mode "ext:coq.el")
(company-coq-forward-declare-fun coq-insert-match "ext:coq.el")
(company-coq-forward-declare-fun coq-last-prompt-info-safe "ext:coq.el")
(company-coq-forward-declare-fun coq-find-comment-start "ext:coq.el")
(company-coq-forward-declare-fun coq-find-comment-end "ext:coq.el")
(company-coq-forward-declare-fun coq-find-comment-start "ext:coq-indent.el")
(company-coq-forward-declare-fun coq-find-comment-end "ext:coq-indent.el")
(company-coq-forward-declare-fun proof-inside-comment "ext:proof-syntax.el" cmd))

(defun company-coq--get-comment-region ()
Expand Down

0 comments on commit 109f86d

Please sign in to comment.