diff --git a/thirdparty/eigen b/thirdparty/eigen index 11fd34cc..33f5f596 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 11fd34cc1c398f2c2311339ed3b008b1114544eb +Subproject commit 33f5f596143d0fce32316ec6fa4bd9f23b4dd9d2