diff --git a/thirdparty/eigen b/thirdparty/eigen index d228bcdf..6de0515f 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit d228bcdf8f35d0625e6dd69ae2f949c38ac21257 +Subproject commit 6de0515fa6b923a8fc1436e3b8c6f2a4ce565484