diff --git a/thirdparty/eigen b/thirdparty/eigen index a73501cc..8cdc0fa6 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit a73501cc76371c1e5ba649070275158a3b01d031 +Subproject commit 8cdc0fa67d6c6d608283ad443973877412a2f109