diff --git a/src/emacs/lean-company.el b/src/emacs/lean-company.el index 325c9fa06..2654dd356 100644 --- a/src/emacs/lean-company.el +++ b/src/emacs/lean-company.el @@ -214,6 +214,7 @@ triggers a completion immediately." (location (company-lean--findp-location arg)) (match (company-lean--findp-match arg)) (no-cache t) + (require-match 'never) (sorted t))) ;; ADVICES