diff --git a/thirdparty/eigen b/thirdparty/eigen index 1e65707a..f5ead2d3 160000 --- a/thirdparty/eigen +++ b/thirdparty/eigen @@ -1 +1 @@ -Subproject commit 1e65707aa20603fc2ee9c2ac21c466ef57d23e10 +Subproject commit f5ead2d34c19653b92ff6a5660f83c04f09a973a