diff --git a/.gitmodules b/.gitmodules index 9ab3287..a76780f 100644 --- a/.gitmodules +++ b/.gitmodules @@ -10,7 +10,7 @@ path = extern/Catch2 url = https://github.com/catchorg/Catch2.git [submodule "extern/Eigen"] - path = extern/Eigen + path = extern/Eigen3 url = https://gitlab.com/libeigen/eigen.git [submodule "extern/autodiff"] path = extern/autodiff diff --git a/extern/Eigen b/extern/Eigen3 similarity index 100% rename from extern/Eigen rename to extern/Eigen3