From f583b4389d0227ff0da1954af484db7ef1f5fbfc Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 11 Jan 2008 10:24:53 +0000 Subject: [PATCH] added Sys.catch_break true --- helm/software/matita/matitac.ml | 1 + 1 file changed, 1 insertion(+) 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 () -- 2.39.2