]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter.ml
removed debug prerr_endline
[helm.git] / helm / ocaml / getter / http_getter.ml
index 0251c548f8aa0b409d7ebc0cfd95856c8759571a..d0ecf9ba22d241851933a343fd6406a82cc390cb 100644 (file)
@@ -656,5 +656,6 @@ let init () =
     Helm_registry.get_opt_default Helm_registry.get_bool false "getter.prefetch"
   in
   if is_prefetch_set then
-    ignore (Thread.create sync_with_map ())
+    (* ignore (Thread.create sync_with_map ()) *)
+    sync_with_map ()