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