X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fgetter%2Fhttp_getter_logger.ml;h=f77b5eba86613f30b3c09c1b65fe9a0bccfef617;hb=eed9cd448726bb9db34ac69e8e137460e691bcfc;hp=c639f6c9087e1805ae99c1aaac7d2a0917552f4f;hpb=000234a18dd37e780907043e0d7405029078b0a7;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