From b3dc4dd5106a96b6ecfe713a5074ce72038562de Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ulysse=20G=C3=A9rard?= Date: Thu, 26 Oct 2023 17:28:09 +0200 Subject: [PATCH] add comment --- src/analysis/occurrences.ml | 1 + 1 file changed, 1 insertion(+) 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