From 9cdf3beb250f22902f8061213d65d507fb8300e0 Mon Sep 17 00:00:00 2001 From: malc Date: Mon, 14 Jan 2013 07:17:58 +0400 Subject: [PATCH] Remove pointless code --- main.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/main.ml b/main.ml index ee0e214..61c6e84 100644 --- a/main.ml +++ b/main.ml @@ -809,7 +809,6 @@ let redirectstderr () = (Printexc.to_string exn) | Ne.Res () -> Ne.clo fd (clofail "dup of stderr"); - ignore (Ne.dup2 state.stderr Unix.stderr); state.errfd <- None; end; | None -> () -- 2.11.4.GIT