diff options
| author | Pierre-Marie Pédrot | 2020-02-25 10:26:02 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-02-25 10:26:02 +0100 |
| commit | ff3755c88f813f1a0e40e08128521cce81e38273 (patch) | |
| tree | 7a43b69d3c3fd4dc66c79cd743858ac4bbcab1fc /topbin | |
| parent | a9deb354d00b9a402a63648d1cadf4c2c36bbdd1 (diff) | |
| parent | 6e5f8099d1877197e6ecda3fd4edac8d48228661 (diff) | |
Merge PR #11498: [exn] Forbid raising in exn printers, make them return Pp.t option
Reviewed-by: ppedrot
Diffstat (limited to 'topbin')
| -rw-r--r-- | topbin/coqtop_byte_bin.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/topbin/coqtop_byte_bin.ml b/topbin/coqtop_byte_bin.ml index 604c6e251a..7e977ca0f2 100644 --- a/topbin/coqtop_byte_bin.ml +++ b/topbin/coqtop_byte_bin.ml @@ -11,9 +11,9 @@ (* 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) + Some (Pp.str (Format.asprintf "%a" Symtable.report_error e)) | _ -> - raise CErrors.Unhandled + None ) let drop_setup () = |