diff --git a/thirdparty/eigen b/thirdparty/eigen index d81aa18f..4fdf87bb 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit d81aa18f4dc56264b2cd7e2f230807d776a2d385 +Subproject commit 4fdf87bbf57e392bbf2c1bdf71d305ea3d037d33