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