diff --git a/thirdparty/eigen b/thirdparty/eigen index 9164d3f1..c30af8f3 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 9164d3f16ad21c1546d5fc99cd28fffc8ac3c1ee +Subproject commit c30af8f3db1722a687fb8452f0038f56682636d4