From 15359b1171c9b24eccb3abafa93ea1ff61f61aaa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ulysse=20G=C3=A9rard?= Date: Thu, 26 Oct 2023 17:28:56 +0200 Subject: [PATCH] Remove comment --- src/analysis/occurrences.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/analysis/occurrences.ml b/src/analysis/occurrences.ml index 5bdb113d54..1bad1f6e23 100644 --- a/src/analysis/occurrences.ml +++ b/src/analysis/occurrences.ml @@ -118,8 +118,9 @@ let locs_of ~config ~scope ~env ~local_defs ~pos ~node:_ path = log ~title:"locs_of" "Locate failed to find a definition."; None in - (* TODO CHECK THAT THIS IS A CORRECT WAY TO GET THE ABSOLUTE PATH TO CURRENT BUFFER*) - let current_buffer_path = Filename.concat config.query.directory config.query.filename in + let current_buffer_path = + Filename.concat config.query.directory config.query.filename + in match def with | Some (uid, loc) -> log ~title:"locs_of" "Definition has uid %a (%a)"