From 6695523d7e153b39b0d000efe31b65150bfd45fe Mon Sep 17 00:00:00 2001 From: Cuihtlauac Alvarado Date: Fri, 7 Jun 2024 10:32:21 +0200 Subject: [PATCH] Remove useless include (#2493) Co-authored-by: Cuihtlauac ALVARADO --- src/ocamlorg_data/data.ml | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/src/ocamlorg_data/data.ml b/src/ocamlorg_data/data.ml index 18f33bcbee..620df6c1c1 100644 --- a/src/ocamlorg_data/data.ml +++ b/src/ocamlorg_data/data.ml @@ -148,14 +148,10 @@ end module Planet = struct include Planet - module Post = struct - include Planet.Post - end - module LocalBlog = struct - include Planet.LocalBlog + include LocalBlog - let get_by_id id = List.find_opt (fun x -> String.equal x.source.id id) all + let get_by_id id = List.find_opt (fun (x : t) -> String.equal x.source.id id) all end let local_posts =