diff options
Diffstat (limited to 'proofs/proof_errors.ml')
| -rw-r--r-- | proofs/proof_errors.ml | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/proofs/proof_errors.ml b/proofs/proof_errors.ml deleted file mode 100644 index e543b0c8fd..0000000000 --- a/proofs/proof_errors.ml +++ /dev/null @@ -1,12 +0,0 @@ -exception Exception of exn -exception Timeout -exception TacticFailure of exn - -let _ = Errors.register_handler begin function - | Timeout -> Errors.errorlabstrm "Some timeout function" (Pp.str"Timeout!") - | Exception e -> Errors.print e - | TacticFailure e -> Errors.print e - | _ -> Pervasives.raise Errors.Unhandled -end - - |