diff --git a/thirdparty/eigen b/thirdparty/eigen index 20fce70e..9ae0e0f1 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 20fce70e5a27c5924035ec592bad6e063b8aef17 +Subproject commit 9ae0e0f195e0a3b83e86d11b2ff6f4f8be254803