Refactor: clean up log.

cristianoc · cristianoc · commit 9c0c887a5543 · 2021-05-05T16:21:27.000+02:00
diff --git a/analysis/src/Log.ml b/analysis/src/Log.ml
@@ -1,6 +1,3 @@
 let spamError = ref false
 
-let log msg =
-  if !spamError then (
-    output_string stderr (msg ^ "\n");
-    flush stderr )
+let log msg = if !spamError then print_endline msg
