From 152dc16c88c24fd2da3eef72798d9b27b8a1b91b Mon Sep 17 00:00:00 2001 From: Jon Ludlam Date: Thu, 14 Sep 2023 17:59:51 +0100 Subject: [PATCH] Remove shape from odocl files --- src/odoc/odoc_link.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/odoc/odoc_link.ml b/src/odoc/odoc_link.ml index 9ba1f250b0..bd876cbd45 100644 --- a/src/odoc/odoc_link.ml +++ b/src/odoc/odoc_link.ml @@ -45,5 +45,6 @@ let from_odoc ~resolver ~warnings_options input output = link_unit ~resolver ~filename m |> handle_warnings ~input_warnings ~warnings_options >>= fun (m, warnings) -> + let m = {m with Odoc_model.Lang.Compilation_unit.shape = None} in Odoc_file.save_unit output ~warnings m; Ok (`Module m)