diff --git a/.gitmodules b/.gitmodules index d98c4b23c2..0cd50294e6 100644 --- a/.gitmodules +++ b/.gitmodules @@ -378,6 +378,10 @@ path = libs/polygon url = ../polygon.git fetchRecurseSubmodules = on-demand +[submodule "msm"] + path = libs/msm + url = ../msm.git + fetchRecurseSubmodules = on-demand [submodule "local_function"] path = libs/local_function url = ../local_function.git @@ -418,10 +422,6 @@ path = libs/move url = ../move.git fetchRecurseSubmodules = on-demand -[submodule "msm"] - path = libs/msm - url = ../msm.git - fetchRecurseSubmodules = on-demand [submodule "type_erasure"] path = libs/type_erasure url = ../type_erasure.git