From 5383cdc276d9ba7f1bb05bfe5aeae0a25edbd4a4 Mon Sep 17 00:00:00 2001 From: Guillaume Melquiond Date: Thu, 30 Jul 2015 07:56:49 +0200 Subject: 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." --- tools/coq_tex.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'tools/coq_tex.ml') diff --git a/tools/coq_tex.ml b/tools/coq_tex.ml index f65708698..53444cee7 100644 --- a/tools/coq_tex.ml +++ b/tools/coq_tex.ml @@ -285,7 +285,7 @@ let find_coqtop () = "coqtop" end -let main () = +let _ = parse_cl (); if !image = "" then image := Filename.quote (find_coqtop ()); if !boot then image := !image ^ " -boot"; @@ -298,5 +298,3 @@ let main () = flush stdout end; List.iter one_file (List.rev !files) - -let _ = Printexc.catch main () -- cgit v1.2.3