diff --git a/thirdparty/eigen b/thirdparty/eigen index ddce1d7d..c487a4fe 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit ddce1d7d12076d13bac1c517609ca6b638d071f4 +Subproject commit c487a4fe9eab5836330246b992fe7c17c06d6726