1 files changed, 0 insertions, 9 deletions
diff --git a/myocamlbuild.ml b/myocamlbuild.ml
index 29514b9eb..1b239ee91 100644
--- a/myocamlbuild.ml
+++ b/myocamlbuild.ml
@@ -402,15 +402,6 @@ let extra_rules () = begin
   if w32 then flag ["link"; "ocaml"; "program"; "ide"]
     (S [A "-ccopt"; A "-link -Wl,-subsystem,windows"; P w32ico]);
 
-(** The mingw32-ocaml cross-compiler currently uses Filename.dir_sep="/".
-    Let's tweak that... *)
-
-  if w32 then begin
-    ocaml_lib "tools/win32hack";
-    List.iter (fun (_,s,_) -> tag_file (s^".native") ["use_win32hack"])
-      all_binaries
-  end;
-
 (** Coqtop *)
 
   let () =