diff options
Diffstat (limited to 'dev-ml/js_of_ocaml/files/ppx.patch')
| -rw-r--r-- | dev-ml/js_of_ocaml/files/ppx.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/dev-ml/js_of_ocaml/files/ppx.patch b/dev-ml/js_of_ocaml/files/ppx.patch deleted file mode 100644 index c46293f546da..000000000000 --- a/dev-ml/js_of_ocaml/files/ppx.patch +++ /dev/null @@ -1,11 +0,0 @@ -Index: js_of_ocaml-2.8.4/lib/ppx_driver/ppx_js_driver.ml -=================================================================== ---- js_of_ocaml-2.8.4.orig/lib/ppx_driver/ppx_js_driver.ml -+++ js_of_ocaml-2.8.4/lib/ppx_driver/ppx_js_driver.ml -@@ -1,5 +1,5 @@ - let () = - let js_mapper = Ppx_js.js_mapper [] in -- Ppx_driver.register_transformation "js_of_ocaml" -+ Ppx_driver.register_transformation_using_ocaml_current_ast "js_of_ocaml" - ~impl:(js_mapper.Ast_mapper.structure js_mapper) - ~intf:(js_mapper.Ast_mapper.signature js_mapper) |