X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2Ftestlibrary.ml;h=fccdc19c619530b67093437c77a00254b2534869;hb=ac7687ce66526f905874ed99a845223c853c558a;hp=ee1b982c41547aa6526628997d646226e316f52f;hpb=aa4474a3b23b71b8a6e0d36f0daa0e90b3ffed66;p=helm.git

diff --git a/helm/gTopLevel/testlibrary.ml b/helm/gTopLevel/testlibrary.ml
index ee1b982c4..fccdc19c6 100644
--- a/helm/gTopLevel/testlibrary.ml
+++ b/helm/gTopLevel/testlibrary.ml
@@ -112,10 +112,12 @@ let test_uri uri =
      (* We do this to clear the alarm set by the signal handler *)
      ignore (Unix.alarm 0) ;
      `TimeOut
+     (*
   | exn ->
       prerr_endline (sprintf "Top Level Uncaught Exception: %s"
         (Printexc.to_string exn));
-      `Nok
+      `Nok*)
+  | exn -> raise exn
 
 let report (ok,nok,maybe,timeout) =
   print_newline ();