diff --git a/src/location.ml b/src/location.ml index 54daa639..9a43eb8d 100644 --- a/src/location.ml +++ b/src/location.ml @@ -8,7 +8,8 @@ type t = location = { } let in_file name = - let loc = { pos_fname = name; pos_lnum = 1; pos_bol = 0; pos_cnum = -1 } in + (* This position matches the compiler's [dummy_pos]. *) + let loc = { pos_fname = name; pos_lnum = 0; pos_bol = 0; pos_cnum = -1 } in { loc_start = loc; loc_end = loc; loc_ghost = true } let set_filename loc fn =