diff --git a/thirdparty/eigen b/thirdparty/eigen index 7bb23b1e..9836e8d0 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 7bb23b1e360e22a395eef75061565fc079ae6a85 +Subproject commit 9836e8d035f72003b4af070c0da73660b28b8d2e