diff --git a/thirdparty/eigen b/thirdparty/eigen index 8a4a417d..769c72fd 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 8a4a417dde40a03632e56b771e9fbadbc938d790 +Subproject commit 769c72fd8019e389810d1de1e7c243521a43b594