Fix tools/caml-tex printing of sub message locations

List printer fields explicitly to avoid the same problem from happening again

1 files changed, 4 insertions, 2 deletions

diff --git a/tools/caml_tex.ml b/tools/caml_tex.ml
index 108a0f6665..8f1a531805 100644
--- a/tools/caml_tex.ml
+++ b/tools/caml_tex.ml
@@ -132,10 +132,12 @@ module Toplevel = struct
     if startchar >= 0 then
       locs := (startchar, endchar) :: !locs
 
-  (** Record the main location instead of printing it *)
+  (** Record locations in the main error and suberrors without printing them *)
   let printer_register_locs =
     { Location.batch_mode_printer with
-      pp_main_loc = (fun _ _ _ loc -> register_loc loc) }
+      pp_main_loc = (fun _ _ _ loc -> register_loc loc);
+      pp_submsg_loc = (fun _ _ _ loc -> register_loc loc);
+    }
 
   (** Capture warnings and keep them in a list *)
   let warnings = ref []