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