diff --git a/thirdparty/eigen b/thirdparty/eigen index f64d1e0a..20fce70e 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit f64d1e0acc2c2c33e325b8dd7b2b4673de2b9f14 +Subproject commit 20fce70e5a27c5924035ec592bad6e063b8aef17