diff options
Diffstat (limited to 'testing/ocamlclean/deprecated-pervasives.patch')
| -rw-r--r-- | testing/ocamlclean/deprecated-pervasives.patch | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/testing/ocamlclean/deprecated-pervasives.patch b/testing/ocamlclean/deprecated-pervasives.patch deleted file mode 100644 index 8d8efcf1b47..00000000000 --- a/testing/ocamlclean/deprecated-pervasives.patch +++ /dev/null @@ -1,15 +0,0 @@ -Error (alert deprecated): module Stdlib.Pervasives -Use Stdlib instead. - -https://github.com/bvaugon/ocamlclean/pull/1 ---- a/src/step1.ml -+++ b/src/step1.ml -@@ -91,7 +91,7 @@ let prepare_code old_code cleanables ign - f (succ indg) adds cleans - | None -> f (succ indg) adds cleans - else -- (List.sort Pervasives.compare adds, cleans) -+ (List.sort Stdlib.compare adds, cleans) - in - let adds, cleans = f 0 [] [] in - let old_code_size = Array.length old_code in |