     (lean-server-send-cmd-sync (lean-cmd-findg line-number column-number pattern)
                                (lambda (candidates)
                                  (lean-debug "executing continuation for FINDG")
-                                 (-map 'company-lean--findp-make-candidate candidates)))))
+                                 (--map (company-lean--findp-make-candidate it prefix) candidates)))))
 
 (defun company-lean--findg-pre-completion (args)
   "Delete current '_' before filling the selected AC candidate"

                 "...")))
        annotation-str))))

(defun company-lean--findp (command &optional arg &rest ignored)
  (case command
    (prefix (company-lean--findp-prefix))
    (candidates (company-lean--findp-candidates arg))
    (annotation (company-lean--findp-annotation arg))
    (location (company-lean--findp-location arg))
    (sorted t)))

;; ADVICES

    (lean-server-send-cmd-sync (lean-cmd-findp line-number prefix)
                               (lambda (candidates)
                                 (lean-debug "executing continuation for FINDP")
                                 (--map (company-lean--findp-make-candidate it prefix) candidates)))))

(defun company-lean--findp-location (arg)
  (lean-generate-tags)
