diff --git a/thirdparty/eigen b/thirdparty/eigen index 92e373e6..3b5a1b41 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 92e373e6f553dd842337c8467f4ddb669e0e9199 +Subproject commit 3b5a1b4157ff9997065e4af78872ccf36b83f42b