diff options
Diffstat (limited to 'parsing/location.ml')
-rw-r--r-- | parsing/location.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/location.ml b/parsing/location.ml index 2a4badc05e..65e9fa7cb3 100644 --- a/parsing/location.ml +++ b/parsing/location.ml @@ -389,7 +389,7 @@ let error_of_exn exn = let rec default_error_reporter ppf ({loc; msg; sub; if_highlight} as err) = let highlighted = - if if_highlight <> "" then + if if_highlight <> "" && loc.loc_start.pos_fname = "//toplevel//" then let rec collect_locs locs {loc; sub; _} = List.fold_left collect_locs (loc :: locs) sub in |