X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_logger.ml;h=f77b5eba86613f30b3c09c1b65fe9a0bccfef617;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=c639f6c9087e1805ae99c1aaac7d2a0917552f4f;hpb=7668522147126e620258e6d22c16a2b0fa56feb4;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_logger.ml b/helm/ocaml/getter/http_getter_logger.ml
index c639f6c90..f77b5eba8 100644
--- a/helm/ocaml/getter/http_getter_logger.ml
+++ b/helm/ocaml/getter/http_getter_logger.ml
@@ -55,6 +55,7 @@ let log ?(level = 1) s =
     | None, _ -> prerr_endline msg
     | Some fname, Some oc ->
         output_string oc msg;
+        output_string oc "\n";
         flush oc
     | Some _, None -> assert false