From 576d7d193c3bb433a45de54d2928e2cdaa5bf655 Mon Sep 17 00:00:00 2001 From: "Abhishek Anand (optiplex)" Date: Wed, 20 Jul 2022 16:16:17 -0400 Subject: [PATCH] fixed https://github.com/cpitclaudel/company-coq/pull/257#issuecomment-1190673279 --- company-coq.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/company-coq.el b/company-coq.el index 712a7712..84da35b9 100644 --- a/company-coq.el +++ b/company-coq.el @@ -2269,7 +2269,7 @@ Returns a cons as specified by `company-coq--locate-name'." (message "candidatesm %s" (mapcar (lambda (x) (company-coq-get-prop 'location x)) candidates)) (cl-loop for candidate in candidates when (string= module candidate) - thereis (cons (company-coq-get-prop 'location candidate) nil)))) + thereis (cons (replace-regexp-in-string "_build/default" "" (company-coq-get-prop 'location candidate) nil 'literal) nil)))) (defun company-coq--maybe-complain-docs-not-found (interactive-p doc-type name) "If INTERACTIVE-P, complain that do DOC-TYPE was found for NAME."