From ec15eb5d0d0fa4085cc2413d9f6fe5db07feb216 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 24 Jun 2020 15:52:41 +0200
Subject: Remove the catchable-exception related functions.

They were deprecated in 8.12.
---
 proofs/logic.mli | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'proofs/logic.mli')

diff --git a/proofs/logic.mli b/proofs/logic.mli
index 9dc75000a1..21757e47dc 100644
--- a/proofs/logic.mli
+++ b/proofs/logic.mli
@@ -47,9 +47,6 @@ exception RefinerError of Environ.env * evar_map * refiner_error
 
 val error_no_such_hypothesis : Environ.env -> evar_map -> Id.t -> 'a
 
-val catchable_exception : exn -> bool
-[@@ocaml.deprecated "This function does not scale in the presence of dynamically added exceptions. Use instead CErrors.noncritical, or the exact name of the exception that matters in the corresponding case."]
-
 (** Move destination for hypothesis *)
 
 type 'id move_location =
-- 
cgit v1.2.3