From f2e3c4b369e97bd6dce24bc2d0966abad0c45f93 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <christoph@imandra.ai>
Date: Tue, 30 Jul 2024 16:42:39 +0100
Subject: [PATCH] Update return from on_req_shutdown

---
 src/server.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/server.ml b/src/server.ml
index 9b40160b..97700568 100644
--- a/src/server.ml
+++ b/src/server.ml
@@ -372,7 +372,7 @@ module Make (IO : IO) = struct
                 ~server_request ()
             in
             status <- `ReceivedShutdown;
-            self#on_req_shutdown ~notify_back ~id
+            lift_ok @@ self#on_req_shutdown ~notify_back ~id
           | Lsp.Client_request.Initialize i ->
             Log.debug (fun k -> k "req: initialize");
             let notify_back =