diff --git a/thirdparty/eigen b/thirdparty/eigen index 26fe567d..9164d3f1 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 26fe567dd281486e9a2d133ee9a184eace5a975b +Subproject commit 9164d3f16ad21c1546d5fc99cd28fffc8ac3c1ee