diff --git a/thirdparty/eigen b/thirdparty/eigen index ec28a251..86f2c6e9 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit ec28a251337eaedd3453e20b6bdbd0a46df46e74 +Subproject commit 86f2c6e9b625eacbfa2e9b996c5a7df954268e10