X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatitac.ml;h=e1546caa737c610077502f35e74653545284f19a;hb=83a8c54521f971aabd5a840a62426cfd00c9c60c;hp=5d0ed9a3512528c8a45886606efd1131dd45677e;hpb=5c1b44dfefa085fbb56e23047652d3650be9d855;p=helm.git

diff --git a/helm/software/matita/matitac.ml b/helm/software/matita/matitac.ml
index 5d0ed9a35..e1546caa7 100644
--- a/helm/software/matita/matitac.ml
+++ b/helm/software/matita/matitac.ml
@@ -61,6 +61,7 @@ let main_compiler () =
 ;;
 
 let main () =
+  Sys.catch_break true;
   let bin = Filename.basename Sys.argv.(0) in
   if      Pcre.pmatch ~pat:"^matitadep"    bin then Matitadep.main ()
   else if Pcre.pmatch ~pat:"^matitaclean"  bin then Matitaclean.main ()