X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_extraction%2FocamlExtraction.ml;h=a18d8a954181887d33a7e1822b6ec21d767b36a5;hb=f5a99aa0b83b680d062820955eea8e45ed38eb85;hp=da7eee5acda96d889b57e25a8ff94dd3f7cb32f9;hpb=b2837b13dcc9a154440af561e7a4dc78af215bac;p=helm.git

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