diff --git a/thirdparty/eigen b/thirdparty/eigen index 97c7cc62..1e65707a 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 97c7cc62006ee303609b4b56a9deb49e6a55f528 +Subproject commit 1e65707aa20603fc2ee9c2ac21c466ef57d23e10