diff --git a/thirdparty/eigen b/thirdparty/eigen index 66927f78..072ec9d9 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 66927f78071cb571d7e7ca6abf6234667d2d974f +Subproject commit 072ec9d95403b449547cbdd8186dd07f9248e2de