X-Git-Url: https://svn.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/02c1ef905d2101df872ccccccb2e4c7c0a508571..4745d0cba82b458d491320c72e564b23899a5310:/interpreter/main.ml?ds=sidebyside

diff --git a/interpreter/main.ml b/interpreter/main.ml
index 4444646..e014ca5 100644
--- a/interpreter/main.ml
+++ b/interpreter/main.ml
@@ -77,7 +77,7 @@ let chk_input_path : string -> bool =
     chk_extension file_in;;
 
 let stdinput = fun (x : unit) ->
-  let path = Unix.readlink "/proc/self/fd/0" in
+  let path = Unix.readlink "/dev/fd/0" in
   if chk_input_path path then
     ( incr size_input;
       inputs := !inputs @ [path] )
@@ -91,7 +91,7 @@ let chk_output_path : string -> bool =
     else true;;
 
 let stdoutput = fun (x : unit) ->
-  let path = Unix.readlink "/proc/self/fd/1" in
+  let path = Unix.readlink "/dev/fd/1" in
   if chk_output_path path then stdout_filename := path
   else ();;