diff --git a/thirdparty/eigen b/thirdparty/eigen index 17d8ddbd..33e7d533 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 17d8ddbd22c277c6bd20e19e5b8d128b0135a9f4 +Subproject commit 33e7d5337c4914c4c05937c06d2dee615835fcb2