diff --git a/thirdparty/eigen b/thirdparty/eigen index 769c72fd..b4631f57 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 769c72fd8019e389810d1de1e7c243521a43b594 +Subproject commit b4631f57a377d73ce79e36fd1cb9a16d4024c88d