Run realpath on the paths of LSP prelude files

Gbury · Aug 26, 2023 · 77b28e2 · 77b28e2
1 parent d9ecb6d
commit 77b28e2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lsp/server.ml b/src/lsp/server.ml
@@ -11,7 +11,7 @@ let parse_settings settings =
     List.map (
       fun s ->
         match s with
-        | `String f -> f
+        | `String f -> Unix.realpath f
         | _ ->
           raise (ServerError (
               Format.asprintf