diff --git a/.gitmodules b/.gitmodules index d98ec03..4fdb8ff 100644 --- a/.gitmodules +++ b/.gitmodules @@ -7434,7 +7434,7 @@ url = ../../pool/ocaml-csexp [submodule "ocaml-dune"] path = ocaml-dune - url = ../../pool/ocaml-dune + url = ../../ALP-pool/ocaml-dune [submodule "ocaml-findlib"] path = ocaml-findlib url = ../../pool/ocaml-findlib