fixed cpitclaudel#257 (comment)

aa755 · Jul 20, 2022 · 576d7d1 · 576d7d1
1 parent 94d7ecc
commit 576d7d1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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."