diff --git a/thirdparty/eigen b/thirdparty/eigen index 16e143a9..914b2dff 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 16e143a9709053869139c6e91afb86ab142aeefe +Subproject commit 914b2dffc95da6fd9a618791514648c2cd6677fa