From be1fe34aa9f25b3a003ea574fae2ea1191e0ea46 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Sat, 13 May 2023 15:23:55 +0200 Subject: [PATCH] fix stderr --- lib/drivers.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/drivers.ml b/lib/drivers.ml index 9587f3e..b87bb6e 100644 --- a/lib/drivers.ml +++ b/lib/drivers.ml @@ -62,7 +62,7 @@ let run_process path args = let out_channel = open_out output_file in let output_fd = Unix.descr_of_out_channel out_channel in let pid = - Unix.create_process command (Array.of_list args) output_fd output_fd Unix.stdin + Unix.create_process command (Array.of_list args) output_fd output_fd output_fd in out_channel, pid ;;