diff --git a/thirdparty/eigen b/thirdparty/eigen index ce70a507..ffcd7bdb 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit ce70a507c0ae50d7e15e16dd86eac7e4c61042a8 +Subproject commit ffcd7bdbd638921fee83cfb903c00c80cf75ea8a