diff options
author | Leo White <leo@lpw25.net> | 2018-08-02 10:33:35 +0100 |
---|---|---|
committer | Leo White <leo@lpw25.net> | 2018-08-02 10:33:35 +0100 |
commit | ec6a5f6f10d5f4bba13e5596967f5d91b3ac74b9 (patch) | |
tree | 74f2d368de3f62cb023770c71c8d247130787a39 | |
parent | c4562b7f88bd251f5c1d0c8a4a4de30fb9082512 (diff) | |
parent | cbffce0c588bf8eb13e1a9beb6a87a07efd9997c (diff) | |
download | ocaml-ec6a5f6f10d5f4bba13e5596967f5d91b3ac74b9.tar.gz |
Merge branch 'patch/gpr-1908' into 4.07.0+vanilla4.07.0-3
-rw-r--r-- | bytecomp/translcore.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bytecomp/translcore.ml b/bytecomp/translcore.ml index fa1ddbeb2f..0da506f8d0 100644 --- a/bytecomp/translcore.ml +++ b/bytecomp/translcore.ml @@ -48,7 +48,8 @@ let prim_fresh_oo_id = let transl_extension_constructor env path ext = let path = - Stdlib.Option.map (Printtyp.rewrite_double_underscore_paths env) path + Printtyp.wrap_printing_env env ~error:true (fun () -> + Stdlib.Option.map (Printtyp.rewrite_double_underscore_paths env) path) in let name = match path, !Clflags.for_package with |