From df46d4294c12efeb02345d73d6e8cbc76d654fb3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ulysse=20G=C3=A9rard?= Date: Tue, 11 Jun 2024 18:14:33 +0200 Subject: [PATCH] wip --- merlin.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/merlin.opam b/merlin.opam index 1432d1c01..ff3f8f67e 100644 --- a/merlin.opam +++ b/merlin.opam @@ -72,5 +72,5 @@ See https://github.com/OCamlPro/opam-user-setup {success & !user-setup:installed} ] pin-depends: [ - ["ocaml-index.1.0" "git+https://github.com/voodoos/ocaml-index#fd993de8a00ccc9b53283b785fd9323156341e05"] + ["ocaml-index.1.0" "git+https://github.com/voodoos/ocaml-index#82b08987921884daeeb5dccc345a2dcb667fe113"] ]