Displaying 1 result from an estimated 1 matches for "32552e5".
Did you mean:
25525
2014 Nov 25
3
[PATCH] mllib: use Unix.isatty
Make use of Unix.isatty instead of our TTY.isatty_stdout, as the
supported OCaml provides the former already.
---
mllib/common_utils.ml | 10 +++++-----
mllib/progress.ml | 2 +-
2 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/mllib/common_utils.ml b/mllib/common_utils.ml
index 295981c..9fcd8dd 100644
--- a/mllib/common_utils.ml
+++ b/mllib/common_utils.ml
@@ -207,15 +207,15