X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=src%2Focaml%2Flib%2Fkhatus_cache.ml;h=64b407d54e152862fb4dc0777e6c31832b28365e;hb=0f81c6a873640359583d44a791e706de2d44ea1e;hp=6a70e232c5857884d3b1f76ef99df16cc8722aba;hpb=6f35286a0c7e5c5b6569f742495efc267772f7a1;p=khatus.git diff --git a/src/ocaml/lib/khatus_cache.ml b/src/ocaml/lib/khatus_cache.ml index 6a70e23..64b407d 100644 --- a/src/ocaml/lib/khatus_cache.ml +++ b/src/ocaml/lib/khatus_cache.ml @@ -36,9 +36,8 @@ let dump_to_channel {values; mtimes} ~node ~modul ~oc = } ) in - output_string - oc - (msg ^ "\n") + output_string oc msg; + output_string oc "\n" ) let (/) = Filename.concat