diff --git a/thirdparty/eigen b/thirdparty/eigen index d6e3b528..8ad4344c 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit d6e3b528b2ae2a55d55749e9ef50b1e12ff34bc3 +Subproject commit 8ad4344ca79f2f248bc5ed70eec72e4b9c4d5e88