new universes implementation

[helm.git] / helm / gTopLevel / testlibrary.ml

diff --git a/helm/gTopLevel/testlibrary.ml b/helm/gTopLevel/testlibrary.ml
index ee1b982c41547aa6526628997d646226e316f52f..fccdc19c619530b67093437c77a00254b2534869 100644 (file)
--- 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 ();