diff --git a/thirdparty/eigen b/thirdparty/eigen index 48d1f4a7..039764e2 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 48d1f4a7e213d8dd44ad7b5a75e6075addd02d30 +Subproject commit 039764e20a1fe0b8a5c86abaa5de427ed4efe642