summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--typing/includemod.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/includemod.ml b/typing/includemod.ml
index 333fc6d6f..e95b07ffa 100644
--- a/typing/includemod.ml
+++ b/typing/includemod.ml
@@ -339,7 +339,7 @@ open Printtyp
let show_loc msg ppf loc =
let pos = loc.Location.loc_start in
if List.mem pos.Lexing.pos_fname [""; "_none_"] then ()
- else fprintf ppf "@\n@[%a: %s@]" Location.print_loc loc msg
+ else fprintf ppf "@\n@[<2>%a:@ %s@]" Location.print_loc loc msg
let show_locs ppf (loc1, loc2) =
show_loc "Expected declaration" ppf loc2;