diff --git a/thirdparty/eigen b/thirdparty/eigen index 86f2c6e9..f1cccdde 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 86f2c6e9b625eacbfa2e9b996c5a7df954268e10 +Subproject commit f1cccddeb1f414443fe7522804252ab3d30b1535