diff --git a/thirdparty/eigen b/thirdparty/eigen index f1cccdde..0f908429 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit f1cccddeb1f414443fe7522804252ab3d30b1535 +Subproject commit 0f908429aed1b289155159774d8328c5f68ba7f7