From: Siraaj Khandkar Date: Mon, 10 Sep 2018 21:42:18 +0000 (-0400) Subject: Remove superfluous string concatenation X-Git-Url: https://git.xandkar.net/?p=khatus.git;a=commitdiff_plain;h=0f81c6a873640359583d44a791e706de2d44ea1e Remove superfluous string concatenation --- 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