diff --git a/thirdparty/eigen b/thirdparty/eigen index a25aa646..7e097296 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit a25aa6467bd7ab3b95fbea9fbf5760c003258cf3 +Subproject commit 7e0972963edfa2cd4bcb3be56aa1f6e7cc9293cd