From 4e7f3c0e93c8b64f4b5322f3cd1c47556c9c3e73 Mon Sep 17 00:00:00 2001 From: Maxime Levillain Date: Tue, 19 Dec 2023 12:53:08 +0100 Subject: [PATCH] Allow same name doc for different methods --- src/common/doc.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/common/doc.ml b/src/common/doc.ml index e6d9385..45c349a 100644 --- a/src/common/doc.ml +++ b/src/common/doc.ml @@ -79,7 +79,7 @@ let make : let rec update_service_list services doc = match services with | [] -> [ doc ] - | h :: t when h.doc_path = doc.doc_path -> doc :: t + | h :: t when h.doc_path = doc.doc_path && h.doc_meth = doc.doc_meth -> doc :: t | h :: t -> h :: (update_service_list t doc) let services = ref []