diff options
| -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 |