diff --git a/thirdparty/eigen b/thirdparty/eigen index 914b2dff..17d8ddbd 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 914b2dffc95da6fd9a618791514648c2cd6677fa +Subproject commit 17d8ddbd22c277c6bd20e19e5b8d128b0135a9f4