From a75b444570a0ee7b95e416a93a8a072dc3aae0d3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 7 Jul 2020 14:27:22 +0200
Subject: [PATCH] [server] Removes an unused module, fixes the compilation with
 ocaml 4.10.

---
 src/plugins/server/request.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/plugins/server/request.ml b/src/plugins/server/request.ml
index 852b4661937..24a94eb02af 100644
--- a/src/plugins/server/request.ml
+++ b/src/plugins/server/request.ml
@@ -293,7 +293,6 @@ let register ~package ~kind ~name ~descr ~input ~output process =
 let dictionary (type a) ~package ~name ~descr (d : a Data.Enum.dictionary) =
   let open Data in
   let data = Enum.publish ~package ~name ~descr d in
-  let module T = (val data) in
   let descr = Markdown.plain "Registered tags for the above type." in
   let name = name ^ "Tags" in
   register ~kind:`GET ~package
-- 
GitLab