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)"