From 55a28825a33aead4cb672d100b56aaa12c1d0213 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <christoph@imandra.ai>
Date: Wed, 31 Jul 2024 16:58:18 +0100
Subject: [PATCH] Formatting

---
 src/server.ml | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

diff --git a/src/server.ml b/src/server.ml
index bc808733..78fde4c7 100644
--- a/src/server.ml
+++ b/src/server.ml
@@ -77,13 +77,13 @@ module Make (IO : IO) = struct
 
   let async (self : #base_server) f : unit IO.t =
     self#spawn_query_handler (fun () ->
-      IO.catch f (fun exn bt ->
-        let msg =
-          spf "LSP async notification handler failed with %s\n%s"
-            (Printexc.to_string exn)
-            (Printexc.raw_backtrace_to_string bt)
-        in
-        IO.return @@ Log.err (fun k -> k "%s" msg)));
+        IO.catch f (fun exn bt ->
+            let msg =
+              spf "LSP async notification handler failed with %s\n%s"
+                (Printexc.to_string exn)
+                (Printexc.raw_backtrace_to_string bt)
+            in
+            IO.return @@ Log.err (fun k -> k "%s" msg)));
     IO.return ()
 
   (** A wrapper to more easily reply to notifications *)
@@ -223,7 +223,7 @@ module Make (IO : IO) = struct
             | `InlayHintOptions of InlayHintOptions.t
             | `InlayHintRegistrationOptions of InlayHintRegistrationOptions.t
             ]
-          option =
+            option =
         None
       (** Configuration for the inlay hints API. *)
 
@@ -576,7 +576,7 @@ module Make (IO : IO) = struct
       (** Called when the document changes. *)
 
       method on_notif_doc_did_save ~notify_back:(_ : notify_back)
-          (_params : DidSaveTextDocumentParams.t ) : unit IO.t =
+          (_params : DidSaveTextDocumentParams.t) : unit IO.t =
         IO.return ()
 
       method on_unknown_notification ~notify_back:(_ : notify_back)
@@ -703,8 +703,8 @@ module Make (IO : IO) = struct
         | Lsp.Client_notification.DidSaveTextDocument params ->
           let notify_back =
             new notify_back
-              ~workDoneToken:None ~partialResultToken:None ~uri:params.textDocument.uri
-              ~notify_back ~server_request ()
+              ~workDoneToken:None ~partialResultToken:None
+              ~uri:params.textDocument.uri ~notify_back ~server_request ()
           in
 
           async self (fun () ->