Merge PR #11408: [mltop] Remove error handling hacks in favor of default methods.

Reviewed-by: ppedrot

1 files changed, 8 insertions, 0 deletions

diff --git a/topbin/coqtop_byte_bin.ml b/topbin/coqtop_byte_bin.ml
index aaabd90370..85d8a48eda 100644
--- a/topbin/coqtop_byte_bin.ml
+++ b/topbin/coqtop_byte_bin.ml
@@ -8,6 +8,14 @@
 (*         *     (see LICENSE file for the text of the license)         *)
 (************************************************************************)
 
+(* We register this handler for lower-level toplevel loading code *)
+let _ = CErrors.register_handler (function
+    | Symtable.Error e ->
+      Pp.str (Format.asprintf "%a" Symtable.report_error e)
+    | _ ->
+      raise CErrors.Unhandled
+  )
+
 let drop_setup () =
   begin try
     (* Enable rectypes in the toplevel if it has the directive #rectypes *)