From f5a99aa0b83b680d062820955eea8e45ed38eb85 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 4 Feb 2013 22:35:57 +0000 Subject: [PATCH] Improved exception handling. --- matita/components/ng_extraction/ocamlExtraction.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/matita/components/ng_extraction/ocamlExtraction.ml b/matita/components/ng_extraction/ocamlExtraction.ml index da7eee5ac..a18d8a954 100644 --- a/matita/components/ng_extraction/ocamlExtraction.ml +++ b/matita/components/ng_extraction/ocamlExtraction.ml @@ -18,8 +18,9 @@ let print_ocaml_of_obj0 status ((_uri,_,_,_,_) as obj) = status,()) res in status with - HExtlib.Localized (_,exn) -> - prerr_endline (Printexc.to_string exn); assert false + HExtlib.Localized (_,exn) + | exn -> + prerr_endline (Printexc.to_string exn); assert false let do_if_ocaml_set f status = if try ignore (Helm_registry.get "extract_ocaml"); true -- 2.39.2