diff --git a/src/analysis/occurrences.ml b/src/analysis/occurrences.ml index cc2e7d257a..5bdb113d54 100644 --- a/src/analysis/occurrences.ml +++ b/src/analysis/occurrences.ml @@ -144,6 +144,7 @@ let locs_of ~config ~scope ~env ~local_defs ~pos ~node:_ path = let fname = loc.Location.loc_start.Lexing.pos_fname in if String.equal fname current_buffer_path then (* ignore locs coming from the external index for the buffer *) + (* maybe filter before *) None else if Filename.is_relative fname then begin match Locate.find_source ~config loc fname with