diff --git a/thirdparty/eigen b/thirdparty/eigen index 072ec9d9..84282c42 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 072ec9d95403b449547cbdd8186dd07f9248e2de +Subproject commit 84282c42fc05d08216331203206de7ceb024a9c6