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