diff --git a/thirdparty/eigen b/thirdparty/eigen index 9c211430..5fc6fc98 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 9c211430b5ecafc11b940203cfaa794bab2b6d22 +Subproject commit 5fc6fc9881dd533fc21da10ed3f6d2f2536deac5