diff options
Diffstat (limited to 'ocamlbuild/my_unix_with_unix.ml')
| -rw-r--r-- | ocamlbuild/my_unix_with_unix.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/ocamlbuild/my_unix_with_unix.ml b/ocamlbuild/my_unix_with_unix.ml index 1c0dd1e6f..2bca1f9d5 100644 --- a/ocamlbuild/my_unix_with_unix.ml +++ b/ocamlbuild/my_unix_with_unix.ml @@ -57,9 +57,7 @@ let run_and_open s kont = with e -> (close (); raise e) let stdout_isatty () = - (* 3.10 - Unix.isatty Unix.stdout *) - true + Unix.isatty Unix.stdout let setup () = implem.is_degraded <- false; |