diff --git a/thirdparty/eigen b/thirdparty/eigen index f0501ba6..16e143a9 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit f0501ba630ee47fb96f55e4a4d23cb636bb337f8 +Subproject commit 16e143a9709053869139c6e91afb86ab142aeefe