Pin version of lsp until a working version is released

Gbury · Nov 20, 2020 · dfbd7ff · dfbd7ff
1 parent 8c497a5
commit dfbd7ff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dolmen_lsp.opam b/dolmen_lsp.opam
@@ -18,7 +18,7 @@ depends: [
   "ocaml-syntax-shims"
 #  "lsp"
 ]
-pin-depends: [ "lsp.dev" "git+https://github.com/ocaml/ocaml-lsp.git" ]
+pin-depends: [ "lsp.dev" "git+https://github.com/ocaml/ocaml-lsp.git#12639888c8f47ae465999678b90c157c459ffc2a" ]
 tags: [ "logic" "computation" "automated theorem prover" "lsp" "language server protocol"]
 homepage: "https://github.com/Gbury/dolmen"
 dev-repo: "https://github.com/Gbury/dolmen.git"