diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-07-30 07:56:49 +0200 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-07-30 07:56:49 +0200 |
| commit | 5383cdc276d9ba7f1bb05bfe5aeae0a25edbd4a4 (patch) | |
| tree | 314bbbcdf4b932bf98de14c19831ac4e5cfc8ee5 /tools/coqdep_boot.ml | |
| parent | 9a5fb78ef3c7c5d4f568a4d04e169475e9105def (diff) | |
Remove usage of Printexc.catch in the tools, as it is deprecated since 2001.
"This function is deprecated: the runtime system is now able to print
uncaught exceptions as precisely as Printexc.catch does. Moreover, calling
Printexc.catch makes it harder to track the location of the exception
using the debugger or the stack backtrace facility. So, do not use
Printexc.catch in new code."
Diffstat (limited to 'tools/coqdep_boot.ml')
| -rw-r--r-- | tools/coqdep_boot.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/tools/coqdep_boot.ml b/tools/coqdep_boot.ml index 2d5fd36a6..64ce66d2d 100644 --- a/tools/coqdep_boot.ml +++ b/tools/coqdep_boot.ml @@ -30,7 +30,7 @@ let rec parse = function | f :: ll -> treat_file None f; parse ll | [] -> () -let coqdep_boot () = +let _ = let () = option_boot := true in if Array.length Sys.argv < 2 then exit 1; parse (List.tl (Array.to_list Sys.argv)); @@ -47,5 +47,3 @@ let coqdep_boot () = end; if !option_c then mL_dependencies (); coq_dependencies () - -let _ = Printexc.catch coqdep_boot () |